Patch sent out as: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35312
Björn
pgpp9BbPQxABd.pgp
Description: OpenPGP digital signature
Patch sent out as: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=35312
Björn
pgpp9BbPQxABd.pgp
Description: OpenPGP digital signature