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)
commit85f1896cffb981e2da0146061513df65bd065e10
tree85084991953b9b1d334c72d6bde9c2d33dd3f39a
parent9b0ddd1d876758efbf992557e8832265588db18b
parent41262498ff89ef48e5ce4823b2fc2dc514a3eb0c
Merge commit '41262498ff89ef48e5ce4823b2fc2dc514a3eb0c'

* commit '41262498ff89ef48e5ce4823b2fc2dc514a3eb0c':
  configure: Fix sem_timedwait probe

This commit is a noop. see abb5efca263daff670ebb0a07af4fc902e457ade

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