On Mon, 19 Nov 2012 13:43:48 +0100, Mark Wielaard wrote:
this is obviously equivalent.
[...]
And so this also is mathematically equivalent.
I am also sure it is mathematically equivalent. It is only questionable
whether this exact meaning was intended by the code author (Roland McGrath
2005-08-23).
So this looks correct to me.
I will therefore check it in.
Thanks,
Jan