merge 7333 7345
tags 7333 + patch
close 7333 v1.11-222-g7a020d6
thanks

* Stefano Lattarini wrote on Sun, Nov 07, 2010 at 03:26:52PM CET:
> Now, should I also try to close the bug #7333 on debbugs?
> The instruction at <http://debbugs.gnu.org/Developer.html> seems
> quite clear about how to do so, so I think I can manage to get it
> right.
> 
> BTW, Ouch!  I see that my previous reply presenting the patch
> has erroneously opended a new, spurious bug report (#7345) in
> the tracker!  Ralf, could you please you close that report as
> invalid?

Not sure how that happened, probably the Subject: change.
The commands above (Bcc:ed to control at debbugs) should merge and
close both bugs.

Cheers,
Ralf



Reply via email to