Quoting Jaap Winius jwinius@umrk.nl:
Quoting Pierangelo Masarati masarati@aero.polimi.it:
That patch was never committed because the reporter of ITS#6540 said his initial report was not actually relevant for the real issue he was suffering from. Please try that patch and report about its effect; I'll be glad to commit it if it is useful.
I'd be happy to do that, but regardless of whether your patch is applied or not, the compile process errors out like this:
Oops, my mistake. It has now compiled successfully, with your patch.
Result: the error is gone. I suggest you commit your patch ASAP.
Thanks,
Jaap