Re: [PATCH][wwwdocs] Purge CVS from gccmission.html

[Gerald Pfeifer]

On Mon, 14 Oct 2019, Kyrill Tkachov wrote:
>> Surely would be fine with me.
> I see, thanks. Here's a proposed patch then.

My previous mail was meant to pre-approve your patch. ;-)

Yes, this is okay.

Thanks,
Gerald