More smaller tweaks #81

Merged

muellerr merged 1 commits from more-smaller-tweaks into main

2024-04-04 11:58:48 +02:00

Author	SHA1	Message	Date
Robin Mueller	deb89362a4	More smaller tweaks All checks were successful Rust/spacepackets/pipeline/head This commit looks good Details Rust/spacepackets/pipeline/pr-main This commit looks good Details	2024-04-04 11:47:39 +02:00