Re: Patch to README-release

[Paul Eggert]

On 02/08/2012 03:33 PM, Reuben Thomas wrote:
> Ping?

Are you talking about the patch in
<http://lists.gnu.org/archive/html/bug-gnulib/2012-02/msg00021.html>?
That looks OK to me.  Jim?