Improvements to rules for norm#337
Merged
Merged
Commits
Commits on May 7, 2021
- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- andcommitted
- authored andcommitted

- authored andcommitted

- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- andcommitted