Commit 7f90c03e1168489f37923dc00a937912a54c8964

Bruno Haible 2007-01-17T11:48:22

Two more fixes to revised gettimeofday module.