improved errorhandling of --rule=
and --rule-file=
/ some related cleanups
#3936
Job | Run time |
---|---|
13m 13s | |
13m 13s |
--rule=
and --rule-file=
/ some related cleanups
#3936
Job | Run time |
---|---|
13m 13s | |
13m 13s |