Mon, 20 Jul 2009 10:57:11 +0200fix error in timer.c
greg [Mon, 20 Jul 2009 10:57:11 +0200] rev 576
fix error in timer.c