i think you might be describing this bug report: https://debbugs.gnu.org/60508 -mike
signature.asc
Description: PGP signature
i think you might be describing this bug report: https://debbugs.gnu.org/60508 -mike
signature.asc
Description: PGP signature