Fri, 27 Jun 2008 09:29:27 +0200 lbessard Bug on __TIME_CMP fixed