Smaller fixes and improvements #317
muellerr
commented
Owner
No description provided.
muellerr
added 2 commits 2022-11-09 15:00:13 +01:00
smaller fixes and improvements
All checks were successful
EIVE/eive-obsw/pipeline/head This commit looks good
Details
bump tmtc
Some checks are pending
EIVE/eive-obsw/pipeline/head This commit looks good
Details
EIVE/eive-obsw/pipeline/pr-develop Build queued...
Details
muellerr
merged commit 7515f88843 into develop
muellerr
referenced this issue from a commit
Merge pull request 'Smaller fixes and improvements' (#317) from mueller/smaller_fixes_improvements into develop
muellerr
deleted branch mueller/smaller_fixes_improvements
muellerr
added this to the v1.16.0 milestone
No reviewers
Labels
No Label
OPS TODO
api change
breaking api change
bug
documentation
duplicate
feature
help wanted
invalid
question
wontfix
No Milestone
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: eive/eive-obsw#317
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "mueller/smaller_fixes_improvements"
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?