Joseph Myers Fri, 31 Jan 2020 14:45:42 -0800
This seems to be missing invoke.texi documentation for the new options.
-- Joseph S. Myers jos...@codesourcery.com