Re: [PATCH 0/4] Docs: extend.texi

[Ian Lance Taylor]

Michael Witten <mfwit...@gmail.com> writes:

> I am intending to send them again to the proper list; is this
> considered the correct move now that the patches have been sent here?

Yes.

Ian