Patch sent out as:

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35312

Björn

Attachment: pgpp9BbPQxABd.pgp
Description: OpenPGP digital signature

Reply via email to