Smaller fixes and improvements #317

Merged
muellerr merged 2 commits from mueller/smaller_fixes_improvements into develop 2022-11-09 15:00:30 +01:00
Showing only changes of commit 4a070f2b7f - Show all commits

2
tmtc

@ -1 +1 @@
Subproject commit f6fab2d44aff98174835c8446fd69c1ff589521b
Subproject commit b6490a05ec3ed8fca30719bc657ed9e13d5a32ad