Processed: control message for bug #44201

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 44201 fixed
Bug #44201 [emacs] 28.0.50; checkdoc-defun: cuts the last letter if there is 
argument to be defined
Added tag(s) fixed.
> close 44201 28.1
bug#44201: 28.0.50; checkdoc-defun: cuts the last letter if there is argument 
to be defined
bug marked as fixed in version 28.1, send any further explanations to
44201@debbugs.gnu.org and Jean Louis <bugs@gnu.support>

> quit
Stopping processing here.

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

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