Commited. Andras On 2002. November 15., Friday 13:15, Simon Hausmann wrote: > On Fri, Nov 15, 2002 at 11:39:51AM +0200, Andras Mantia wrote: > > Minor patch for a compilation problem. Should I commit? > > Looks good. > > Simon (surprised noone noticed this before)