I've just noticed that there's a similar though more comprehensive patch already in git. So feel free to close this now or on upload, whichever you prefer ...
-- Colin Watson [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

