[PATCH] install.texi: Use sourceware.org.

[Carlos O'Donell]

On Mon, Apr 9, 2012 at 1:08 PM, Andreas Jaeger <aj@suse.com> wrote:
> On 04/09/2012 05:37 PM, Carlos O'Donell wrote:
>>
>>
>> In BZ # 13963 a user notices that we don't consistently use
>> sourceware.org.
>>
>> This patch changes the manual to use sourceware.org.
>
>
> Is this a FYI or are you asking for review? The patch looks fine to me,

Sorry, I should have said that I checked it in as obvious.

Cheers,
Carlos.