bug#41097: 28.0.50; (dired-toggle-marks) not working after copy

[Eli Zaretskii]

> Date: Sun, 10 May 2020 20:17:24 +0300
> From: Jean Louis <bugs@gnu.support>
> Cc: tomasn@posteo.net, michael_heerdegen@web.de,
>   41097@debbugs.gnu.org, arthur.miller@live.com
> 
> > Thanks, I installed this on the release branch.
> > 
> > OK to close the bug now?
> 
> Sure is OK.

Thanks, closed.