Six days ago, I wrote: > Here's a proposed fix, which I've tested on my own system. > Are there any objections to pushing this to 'master'?
I've now pushed this to 'master', commit
33a80e111096b05af3d60576dfcb2d67099dc60e.
I'm closing this bug now.
Thanks!
Mark
--
Disinformation flourishes because many people care deeply about injustice
but very few check the facts. Ask me about <https://stallmansupport.org>.
