event manager improvements #17

Closed
muellerr wants to merge 1 commits from mueller/eventmanager-improvements into master
Owner
No description provided.
muellerr added the
enhancement
label 2020-08-28 18:12:56 +02:00
muellerr closed this pull request 2020-08-28 18:13:05 +02:00
Owner

Do you still need the branch?

Do you still need the branch?
muellerr deleted branch mueller/eventmanager-improvements 2020-08-31 20:52:21 +02:00
Author
Owner

It is part of #180 in fsfw/fsfw

It is part of #180 in fsfw/fsfw

Pull request closed

Sign in to join this conversation.
No description provided.