Revert "Delete unneeded lint exemption (#4140)": It's actually needed. - Githubissues

google / clusterfuzz

Scalable fuzzing infrastructure.

https://google.github.io/clusterfuzz

Apache License 2.0

5.27k stars 551 forks source link

Revert "Delete unneeded lint exemption (#4140)": It's actually needed. #4144

Closed jonathanmetzman closed 1 month ago

jonathanmetzman commented 1 month ago

This reverts commit e75ae2c433d60c518ec05fd12b87888c20da20a2.