Consistency in order of properties#158
Merged
dhendryc merged 18 commits intomain from clean-managedNov 8, 2023
+23-17
Commits
Commits on Nov 6, 2023
- committedDeborah Hendrych
- committedDeborah Hendrych
- committedDeborah Hendrych
- committedDeborah Hendrych
- committedDeborah Hendrych
- committedDeborah Hendrych
- committedDeborah Hendrych
- committedDeborah Hendrych
Commits on Nov 7, 2023
- committedHendrych
- committedHendrych
- committedHendrych
- committedHendrych
- committedHendrych
- committedHendrych
- committedHendrych
- committedHendrych
- committedHendrych
- committedHendrych