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

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> tags 12239 fixed
Bug #12239 [gnus] [PATCH] try-warping-via-registry stops looking before finding 
the article
Added tag(s) fixed.
> close 12239 24.3
bug#12239: [PATCH] try-warping-via-registry stops looking before finding the 
article
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/