Joseph Myers Fri, 07 Jul 2017 09:58:44 -0700
This patch is OK.
-- Joseph S. Myers jos...@codesourcery.com