Which would be easier, just send PR or send a patch to ML?  (Or send PR and then mention it in ML, maybe)

On Tue, Mar 22, 2016 at 2:05 PM, Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:
Thank you, Mr. Kawai.  At John's request, I have merged your
pull request.  The change will appear in the final draft,
and is now on the site.