On Thu, Nov 5, 2020 at 1:33 AM Nick Desaulniers <ndesaulni...@google.com> wrote: > > Yeah, that's annoying. Why don't you send me a patch that downgrades > it from hard error to polite warning (in case someone made a typo), > and I'll review it?
Sure! Cheers, Miguel
