Hi Joseph:

I don't have commit right, could you help me to commit that, thanks :)

On Thu, Nov 8, 2018 at 1:14 AM Joseph Myers <jos...@codesourcery.com> wrote:
>
> This patch is OK.
>
> --
> Joseph S. Myers
> jos...@codesourcery.com

Reply via email to