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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 13239 fixed
Bug #13239 [gnus] error on "^"
Added tag(s) fixed.
> close 13239 24.4
bug#13239: error on "^"
bug marked as fixed in version 24.4, send any further explanations to
address@hidden and address@hidden

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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