On Monday 16 July 2007 11:42:53 Andrea Rossato wrote: > Hi, > > this patch fixes the issue in Commands.hs reported by Kai Grossjohann. > > ciao > andrea > > Mon Jul 16 18:40:17 CEST 2007 Andrea Rossato <andrea.rossato at unibz.it> > * fixes Commands.hs Applied, thanks.