ludo@gnu.org (Ludovic Courtès) writes:

> Alright, so Chris you can probably go ahead and push the patch!

Sounds good!  I've committed this to master as
2f4d43584cb26315c028dfbd2197da0d175933a2.

-- 
Chris