Joseph Myers Mon, 21 Aug 2017 07:07:43 -0700
These two patches are OK.
-- Joseph S. Myers jos...@codesourcery.com