Applied in maint with commit 0a8079b4d, thanks a lot!

Ihor Radchenko <yanta...@gmail.com> writes:

> Bastien <b...@gnu.org> writes:
>
>> Can you provide a patch for this?
>
> Sure. Attached.

-- 
 Bastien

Reply via email to