fixed #12523 - greatly improved errorhandling of --rule-file= (#6147)
#13346
| Job | Run time |
|---|---|
| 13m 49s | |
| 13m 49s |
--rule-file= (#6147)
#13346
| Job | Run time |
|---|---|
| 13m 49s | |
| 13m 49s |