On Wed, 2010-10-27 at 20:20 +0100, Martin Bazley wrote:
In light of this, my revised and totally untested (I don't even
know if
it compiles) diff is (sorry about the indentation, I did change it but
diff doesn't think so):
Thanks for this. Committed as r10911.
J.