On Sat, Jun 12, 2004 at 12:51:23AM +0200, Bernardo Innocenti wrote: > >>Mark Mitchell has semi-approved this patch ... > > Thank you so much! Richard, is it ok for mainline? Sure. r~