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

[GNU bug Tracking System]

Processing commands for address@hidden:

> tags 5128 fixed
Bug #5128 [emacs] [PATCH] rcirc: Option to kill channel buffers when their 
server  buffer is killed
Added tag(s) fixed.
> close 5128 24.2
bug#5128: [PATCH] rcirc: Option to kill channel buffers when their server  
buffer is killed
bug marked as fixed in version 24.2, send any further explanations to
address@hidden and Deniz Dogan <address@hidden>

>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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