Pierre Queinnec wrote: > As for your bug, it is clearly different. Could you file a ticket and > assign it to me? Errr, actually I really thought I maintained that port, but I'm not. So please discard the "assign it to me" part ;) -- Pierre