update-develop #273
muellerr
commented 2022-07-14 17:32:31 +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
update develop
035eda9cfd
bump tmtc
5b3927d988
All checks were successful
EIVE/eive-obsw/pipeline/pr-develop This commit looks good
Details
EIVE/eive-obsw/pipeline/head This commit looks good
Details
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
meierj
referenced this issue from a commit 2022-07-15 08:55:47 +02:00
Merge pull request 'update-develop' (#273) from update-develop into develop
muellerr
deleted branch update-develop 2022-07-15 10:15:45 +02:00
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "update-develop"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?