On Fri, Jun 29, 2001 at 12:34:29PM +0200, Wouter Verhelst wrote: > Is it anywhere documented what time "dinstall time" actually is? Seems to be around 18:50 GMT.