Merge commit '41262498ff89ef48e5ce4823b2fc2dc514a3eb0c'
authorJames Almer <jamrial@gmail.com>
Mon, 30 Oct 2017 17:10:44 +0000 (14:10 -0300)
committerJames Almer <jamrial@gmail.com>
Mon, 30 Oct 2017 17:10:44 +0000 (14:10 -0300)
* commit '41262498ff89ef48e5ce4823b2fc2dc514a3eb0c':
  configure: Fix sem_timedwait probe

This commit is a noop. see abb5efca263daff670ebb0a07af4fc902e457ade

Merged-by: James Almer <jamrial@gmail.com>

Trivial merge