Re: [patch] PR web/53919 - Add note to install.texi

[Gerald Pfeifer]

On Mon, 16 Jul 2012, Jonathan Wakely wrote:
> Thanks, revised patch attached. OK for trunk like this?

Oh, yes!  I meant to imply this in my previous message.

Thanks,
Gerald