Processed: control message for bug #42913

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 42913 fixed
Bug #42913 [emacs] [PATCH] Fix issues with OpenPGP header
Added tag(s) fixed.
> close 42913 28.1
bug#42913: [PATCH] Fix issues with OpenPGP header
bug marked as fixed in version 28.1, send any further explanations to
42913@debbugs.gnu.org and "Philip K." <philipk@posteo.net>

> quit
Stopping processing here.

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

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