>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> On Fri, May 19, 2006 at 12:17:19AM +0200, Jean-Marc Lasgouttes Martin> wrote: >> >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: >> Martin> This appears to fix the bug in my limited testing (I couldn't Martin> reproduce the bug in the test file, only in the enum example) >> Yes, it looks reasonable and it works. Please apply to trunk and >> branch. Martin> Thanks, done: Thanks. JMarc