Closed wyuenho closed 3 months ago
For https://github.com/flycheck/flycheck/pull/1972
@bbatsov do you have merge permission to this repo?
For https://github.com/flycheck/flycheck/pull/1972