fixed #12523 - greatly improved errorhandling of --rule-file= (#6147)
#13536
| Job | Run time |
|---|---|
| 26s | |
| 27s | |
| 53s |
--rule-file= (#6147)
#13536
| Job | Run time |
|---|---|
| 26s | |
| 27s | |
| 53s |