Merge commit 'db2733256db323e4b88a34b135320f33274148e2'
authorClément Bœsch <u@pkh.me>
Wed, 22 Mar 2017 17:09:54 +0000 (18:09 +0100)
committerClément Bœsch <u@pkh.me>
Wed, 22 Mar 2017 17:09:54 +0000 (18:09 +0100)
* commit 'db2733256db323e4b88a34b135320f33274148e2':
  pthread_frame: use a thread-safe way for signalling threads to die

This commit is a noop, see 4845f0720e38c5baab7baad52bfce1451f1c1639

Merged-by: Clément Bœsch <u@pkh.me>

Trivial merge