On Mon, 06 Feb 2017 11:19:56 PST (-0800), ja...@redhat.com wrote: > On Mon, Feb 06, 2017 at 11:18:12AM -0800, Palmer Dabbelt wrote: >> OK, great! I think we're all set: >> >> * Here's the responses to the documentation comments >> <https://gcc.gnu.org/ml/gcc-patches/2017-02/msg00459.html>, >> <https://gcc.gnu.org/ml/gcc-patches/2017-02/msg00460.html>. >> >> * I believe the patch was silently dropped because it was over the size >> limits, so I gzip'd the patch and sent it to the mailing list here >> <https://gcc.gnu.org/ml/gcc-patches/2017-02/msg00462.html>. >> >> * We don't touch anything in any of the other ports. >> >> If you give the OK, then I can commit this as soon as I figure out git-svn >> (which I'm looking at now). > > Ok (or just check out svn, apply the patch and commit from svn).
I believe we're in. Thanks for the help!
