Processed: control message for bug #45536

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 45536 fixed
Bug #45536 [emacs] [PATCH] Pretty-print keys without <> around modifiers
Added tag(s) fixed.
> close 45536 28.1
bug#45536: [PATCH] Pretty-print keys without <> around modifiers
bug marked as fixed in version 28.1, send any further explanations to
45536@debbugs.gnu.org and Mattias Engdegård <mattiase@acm.org>

> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

GNU bugs database, http://debbugs.gnu.org/