Ludovic Courtès <ludo@gnu.org> wrote:
> Looks like the patch isn’t actually there.  ↑
> 
> Could you send it?

Oops! Here you go.