2011/11/8 Tobias Burnus <bur...@net-b.de>: >> I am asking the question :-) Are the two equivalent? To my mind, it >> is a matter of taste, if they are. > > I think in practice they are the same.
Alright, since no one seems to have any strong preference, I'll just go ahead and commit my version of the patch (as approved by Paul). Cheers, Janus
