Michael Goderbauer 68e346e41c
Remove outdated ignores from tool (#140467)
These were not ignoring anything (anymore).
2023-12-20 22:14:32 +00:00
..
2023-09-20 19:59:08 +00:00