On 13/01/20 12:24 -0500, Eric S. Raymond wrote:
Joseph Myers <jos...@codesourcery.com>:
I think you'll need to commit this for Eric (using --author= to set the
git author, whenever you commit a patch for someone else). The libstdc++
maintainers can probably handle regenerating the HTML version of the
libstdc++ documentation.
I'm hesitant to request push access this soon, but...you don't seem to
have an MR capability, and I have some other housekeeping/documentation
patches in mind.
Email the patches to gcc-patches@gcc.gnu.org, that's how things get
merged.
We're not looking to change any workflows now.
