more cleaning #252

Merged
meggert merged 3 commits from str-cleaning into main 2023-10-27 14:37:00 +02:00
Owner
No description provided.
muellerr added 1 commit 2023-10-27 14:26:14 +02:00
more cleaning
All checks were successful
EIVE/-/pipeline/head This commit looks good
b08f9d9af6
muellerr added 1 commit 2023-10-27 14:26:18 +02:00
Merge branch 'main' into str-cleaning
All checks were successful
EIVE/-/pipeline/pr-main This commit looks good
18728731ed
muellerr added this to the v5.10.1 milestone 2023-10-27 14:26:42 +02:00
meggert approved these changes 2023-10-27 14:36:47 +02:00
meggert added 1 commit 2023-10-27 14:36:53 +02:00
Merge branch 'main' into str-cleaning
Some checks are pending
EIVE/-/pipeline/pr-main Build queued...
76e80c259c
meggert merged commit 26552ebeca into main 2023-10-27 14:37:00 +02:00
meggert deleted branch str-cleaning 2023-10-27 14:37:01 +02:00
Sign in to join this conversation.
No description provided.