On Tue, 3 Aug 2021, Thomas Schwinge wrote:
> Hi!
>
> Is the attached OK to push?
>
> No violations found per:
>
> $ find -type f -name \*.opt | xargs grep -F 'Init(' | grep -v -F 'Var('
>
> ..., and manually verified the error condition.OK. -- Joseph S. Myers jos...@codesourcery.com
