issue #1376 More consistent formatting#1431
Merged
Commits
Commits on Mar 18, 2022
- authored andcommitted


Commits on Mar 20, 2022
- authored andcommitted


- authored andcommitted


Commits on Mar 23, 2022
- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


Commits on Apr 2, 2022
- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


Commits on Apr 6, 2022
Commits on Apr 7, 2022
- authored andcommitted

