Manuel Pégourié-Gonnard a268da9478 Fix undefined function in platform.c
The bug was introduced in 79a2e7ef069d6 and is not present in the default
configuration, which let it go unnoticed so far.
2017-12-20 12:52:49 +01:00
..
2017-07-27 21:44:33 +01:00
2017-08-10 11:51:16 +01:00
2017-02-15 09:08:26 +00:00
2015-09-04 14:21:07 +02:00
2016-10-13 13:51:09 +01:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00
2017-06-23 16:30:31 +01:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00
2017-10-29 17:53:52 +02:00
2017-07-27 21:44:33 +01:00
2017-07-27 21:44:33 +01:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00