[debbugs-tracker] Processed: control message for bug #9693

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 9693 fixed
Bug #9693 [gnus] gnus-summary-read-group: undocumented parameters... and more!
Added tag(s) fixed.
> close 9693 24.1
bug#9693: gnus-summary-read-group: undocumented parameters... and more!
bug marked as fixed in version 24.1, send any further explanations to
address@hidden and Dave Abrahams <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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