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

> [...]
>
> I suppose this patch cannot hurt, please push!
>

Ah, I forget it.  Pushed to core-updates, thanks!

Reply via email to