On Tue, 28 Feb 2012, Richard Earnshaw wrote:

> Here's an updated version, plus some updates to install.texi to avoid
> references to the obsolete ports.
> 
> OK?

OK.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to