Smaller PLOC tweaks #836

Merged

meggert merged 6 commits from smaller-ploc-tweaks into main

2024-01-29 10:51:53 +01:00

Author	SHA1	Message	Date
meggert	3cc6fce575	Merge branch 'main' into smaller-ploc-tweaks Some checks are pending EIVE/eive-obsw/pipeline/pr-main Build queued... Details	2024-01-29 10:51:17 +01:00
Robin Mueller	5c7f712bf2	Merge branch 'smaller-ploc-tweaks' of https://egit.irs.uni-stuttgart.de/eive/eive-obsw into smaller-ploc-tweaks Some checks are pending EIVE/eive-obsw/pipeline/pr-main Build queued... Details	2024-01-29 10:40:19 +01:00
Robin Mueller	c4d0203846	changelog	2024-01-29 10:39:50 +01:00
Robin Müller	16fa3d1e26	Merge branch 'main' into smaller-ploc-tweaks Some checks are pending EIVE/eive-obsw/pipeline/pr-main Build started... Details	2024-01-29 10:38:54 +01:00
Robin Müller	561fe5aa3c	Merge branch 'main' into smaller-ploc-tweaks All checks were successful EIVE/eive-obsw/pipeline/pr-main This commit looks good Details	2023-12-13 11:55:23 +01:00
Robin Mueller	b000f77f4b	smaller PLOC tweaks All checks were successful EIVE/eive-obsw/pipeline/head This commit looks good Details	2023-12-12 17:55:09 +01:00