update-develop #273

Merged
meierj merged 2 commits from update-develop into develop 2022-07-15 08:55:47 +02:00
Owner
  • Re-run generator scripts
  • Bump dependencies
- Re-run generator scripts - Bump dependencies
muellerr added 2 commits 2022-07-14 17:32:35 +02:00
bump tmtc
All checks were successful
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
EIVE/eive-obsw/pipeline/head This commit looks good
5b3927d988
muellerr requested review from meierj 2022-07-14 17:33:45 +02:00
meierj approved these changes 2022-07-15 08:55:41 +02:00
meierj merged commit 9911f58424 into develop 2022-07-15 08:55:47 +02:00
muellerr deleted branch update-develop 2022-07-15 10:15:45 +02:00
Sign in to join this conversation.
No description provided.