Local Pool Update #349
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "KSat/fsfw:mueller/local-pool-update"
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?
I now merged mueller/master properly (therefore, many commits, git history is pulled in).
This merge then includes #347, #348 and #350. I also still need to check it myself.
MutexIF
, the timeout type is aclass
enum now.HasLocalDataPoolIF
WIP: Local Pool Updateto Local Pool Update