[debbugs-tracker] Processed: control message for bug 10351

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> unarchive 10351
Bug #10351 {Done: Lars Magne Ingebrigtsen <address@hidden>} [emacs] 24.0.92; 
[PATCH] rgrep prunes too much
Unarchived bug 10351
> fixed 10351 24.3
Bug #10351 {Done: Lars Magne Ingebrigtsen <address@hidden>} [emacs] 24.0.92; 
[PATCH] rgrep prunes too much
bug Marked as fixed in versions 24.3.
> notfixed 10351 24.2
Bug #10351 {Done: Lars Magne Ingebrigtsen <address@hidden>} [emacs] 24.0.92; 
[PATCH] rgrep prunes too much
bug No longer marked as fixed in versions 24.2.
>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

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