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).
Jakub
