Processed: control message for bug #22107

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 22107 fixed
Bug #22107 [emacs] this-command-keys no longer returns prefix argument
Bug #22111 [emacs] 25.0.50; (this-command-keys) doesn't return prefix keys
Added tag(s) fixed.
Added tag(s) fixed.
> close 22107 28.1
bug#22107: this-command-keys no longer returns prefix argument
bug#22111: 25.0.50; (this-command-keys) doesn't return prefix keys
bug marked as fixed in version 28.1, send any further explanations to
22107@debbugs.gnu.org and bruce.connor.am@gmail.com

> quit
Stopping processing here.

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

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