Fri, 30 Aug 2019 10:27:45 +0200Reworked get_greatest_tick_count computation
Edouard Tisserant [Fri, 30 Aug 2019 10:27:45 +0200] rev 1089
Reworked get_greatest_tick_count computation