On Mon, 9 Sep 2019, Jakub Jelinek wrote: > > "IgnoreWarn" reads as "ignore the warning". > > > > If we want it named as two things, can we just make it two things? > > "Ignore WarnDeleted" or something. Which also says what it is warning > > about. > > Or WarnRemoved. Both work for me, but ultimately it would be best if Joseph > decides.
I prefer WarnRemoved. -- Joseph S. Myers jos...@codesourcery.com
