> 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).

Committed as r181199. Thanks for the comments, everyone!

Cheers,
Janus

Reply via email to