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)