A couple of small improvements#236
Merged
runger1101001 merged 3 commits intosimplefoc:devfrom Jan 3, 2023
Merged
Commits
Commits on Dec 31, 2022
- committedRichard Unger
Commits on Jan 1, 2023
- committedRichard Unger
Commits on Jan 3, 2023
- committedRichard Unger