Thanks, Iain
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
It looks like this patch got in the 0.18 release that was just
announced, so if you update to this then you can remove the
configurable-compiler.patch from the diff. Everything else should be
the same.
