Revert "Merge branch 'pr3764' into dev"

This reverts commit 0d9a372e49, reversing
changes made to 1a04bf2904.

src/backend/common/Thread.h

@@ -65,7 +65,7 @@ public:
         }
     }
 #   else
-    inline ~Thread() { if (m_thread.joinable()) { m_thread.join(); } delete m_worker; }
+    inline ~Thread() { m_thread.join(); delete m_worker; }
 
     inline void start(void *(*callback)(void *))    { m_thread = std::thread(callback, this); }
 #   endif