run afmt, re-run generators #829

Merged
meggert merged 1 commits from afmt-generators into main 2023-11-29 15:49:47 +01:00
Owner
No description provided.
muellerr added 1 commit 2023-11-29 15:16:27 +01:00
run afmt, re-run generators
Some checks are pending
EIVE/eive-obsw/pipeline/head Build queued...
EIVE/eive-obsw/pipeline/pr-main This commit looks good
89b6a2de2d
muellerr requested review from meggert 2023-11-29 15:16:32 +01:00
muellerr added this to the v7.4.0 milestone 2023-11-29 15:16:37 +01:00
meggert approved these changes 2023-11-29 15:49:38 +01:00
meggert merged commit bbcb10c2d9 into main 2023-11-29 15:49:47 +01:00
meggert deleted branch afmt-generators 2023-11-29 15:49:48 +01:00
Sign in to join this conversation.
No description provided.