fixed #12523 - greatly improved errorhandling of --rule-file= (#6147)
#11228
| Job | Run time |
|---|---|
| 9m 44s | |
| 9m 44s |
--rule-file= (#6147)
#11228
| Job | Run time |
|---|---|
| 9m 44s | |
| 9m 44s |