Thu, 24 Feb 2011 22:29:59 +0100 replaced clock_gettime by gettimeofday
Heiko Schlittermann (I24) <hs@schlittermann.de> [Thu, 24 Feb 2011 22:29:59 +0100] rev 15
replaced clock_gettime by gettimeofday
(0) -10 -1 +1 +10 tip