Closed MarcoIeni closed 3 years ago
Remove again rule exception removed in #178 but introduced by mistake again by #176
Superseded by #183 ? Let's close this?
Closing it ;-) for the other PR
Remove again rule exception removed in #178 but introduced by mistake again by #176