Thanks for taking a look, sorry about that, it's my first new option :). I will add in the next iteration.
-Lewis On Fri, Jan 31, 2020 at 5:45 PM Joseph Myers <jos...@codesourcery.com> wrote: > > This seems to be missing invoke.texi documentation for the new options. > > -- > Joseph S. Myers > jos...@codesourcery.com
