Commit 84ce9746ae0699d61fc1c57ccec4887d98e1dfc1

Edward Thomson 2021-07-14T08:39:24

Merge pull request #5824 from palmin/fix-ignore-negate fix check for ignoring of negate rules