Max Horn 768852d010 Modified version of Torbjoern's patch from bug #1640420 (fixes an overflow in the default timer manager) ... svn-id: r25165		2007-01-24 22:56:57 +00:00
..
default	Modified version of Torbjoern's patch from bug #1640420 (fixes an overflow in the default timer manager)	2007-01-24 22:56:57 +00:00