Christian Prochaska 16deaa9a72 timed_semaphore: fix deprecated warning ... Fixes #2429		2017-05-31 13:16:19 +02:00
..
timed_semaphore.cc	timed_semaphore: fix deprecated warning	2017-05-31 13:16:19 +02:00