Gunnar Evermann <ge204(a)eng.cam.ac.uk> writes:
Maybe somebody who understands MULE can make a patch for
this. Otherwise I will read up on MULE and send a patch next week.
P.S.: Simon, the line numbers in your backtraces are always
completely messed up.
I hadn't noticed. Perhaps my gdb isn't working properly, I'll try
using dbx or something else instead.