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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 11980 fixed
Bug #11980 [gnus] Other expirable marks lost if non-native articles are expired
Added tag(s) fixed.
> close 11980 24.3
bug#11980: Other expirable marks lost if non-native articles are expired
bug marked as fixed in version 24.3, 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/