Martin Vermeer wrote: > Could you verify in branch (or where you have enable-stdlib-debug) that > this does the job?
No, doesn't fix it. Jürgen P.S.: personally, it would appreciate it if you could make diffs from the toplevel directory (i.e. above src/). Would make it easier to apply and clean up patches ...
