format_time(): Use the timestamp type in the calculation
authorJens Steinhauser <jens.steinhauser@gmail.com>
Sun, 30 Aug 2015 21:11:31 +0000 (23:11 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Fri, 4 Sep 2015 10:54:52 +0000 (12:54 +0200)

No differences found