[debbugs-tracker] Processed: Re: bug#31628: 26.1; Problem in read-multiple-choice's docstring

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> severity 31628 minor
Bug #31628 [emacs] 26.1; Problem in read-multiple-choice's docstring
Ignoring request to change severity of bug 31628 to the same value.
> tags 31628 fixed
Bug #31628 [emacs] 26.1; Problem in read-multiple-choice's docstring
Added tag(s) fixed.
> close 31628 26.2
bug#31628: 26.1; Problem in read-multiple-choice's docstring
bug marked as fixed in version 26.2, send any further explanations to
address@hidden and Damien Cassou <address@hidden>

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

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