Here is the patch to update these files with my contributions. Ok for trunk? Thanks, Julia > -----Original Message----- > From: gcc-patches-owner@gcc.gnu.org [mailto:gcc-patches- > owner@gcc.gnu.org] On Behalf Of Gerald Pfeifer > Sent: Tuesday, December 12, 2017 11:34 AM > To: Koval, Julia > Cc: Kirill Yukhin ; gcc-patches@gcc.gnu.org > Subject: RE: [PATCH][i386,AVX] Enable VBMI2 support [5/7] > > On Tue, 12 Dec 2017, Koval, Julia wrote: > > Looks good. How to put it there(sorry, noob question)? > > Does https://gcc.gnu.org/about.html help? If not, let me know > and I'll work with you (and update those docs on the way). > > Of course, even if things work for you, any suggestions on how > to improve this little page are very welcome. :) > > Gerald