Ludovic Courtès <l...@gnu.org> writes: > LGTM! Feel free to push this version or an improved one. I think it’s > good to have it in the upcoming release, and if it’s pushed sooner, > we’ll have more time to react in case something’s wrong.
I pushed an improved version of the patch to 'master' as commit
1bab9b9f17256a9e4f45f5b0cceb8b52e0a1b1ed.
Thanks,
Mark
