Joseph Myers Thu, 16 Jan 2020 15:44:23 -0800
Thanks, patch committed.
-- Joseph S. Myers jos...@codesourcery.com