Some PLOC commanding fixes #288

Merged

meggert merged 4 commits from ploc-tree-test into main

2024-04-09 14:41:11 +02:00

Author	SHA1	Message	Date
Marius Eggert	24f3abdd5a	Merge branch 'main' into ploc-tree-test	2024-04-09 14:40:36 +02:00
Robin Müller	7dfdd40963	fixed PLOC mode commanding EIVE/-/pipeline/pr-main Build queued... Details	2024-04-09 14:31:41 +02:00
Robin Müller	b160f079b1	small bugfix EIVE/-/pipeline/head This commit looks good Details	2024-04-09 13:19:25 +02:00
Robin Müller	11d7ad0f8d	start fixing PLOC tree EIVE/-/pipeline/head This commit looks good Details	2024-04-09 11:32:57 +02:00