Subject: Re: bug#6537: 23.2; doc fix for rx
From: Juanma Barranquero <[email-masked]>
To: Leo <[email-masked]>
Cc: [email-masked]
Date: Tue, 29 Jun 2010 14:12:22 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

> It seems like leftover since it is already mentioned in the preceding
> text.

Committed, thanks.

BTW, you have now a fair number of "tiny patches". Perhaps you could
sign papers in order to be able to do any more contributions?

    Juanma