bin/102747 has been sitting there for about 8 months, with no activity since
The patch attached in the PR has been working for me since, so it not being
fixed in the main tree isn't a problem with me. I just thought someone would
benefit from it being committed...
In general, I would suggest sending this sort of thing to current@ and/or
net@, but not ***@.
Robert N M Watson
Computer Laboratory
University of Cambridge