Skip to content
Snippets Groups Projects
Commit 6a8fb12f authored by Utz-Uwe Haus's avatar Utz-Uwe Haus
Browse files

Merge branch... 

Merge branch '147-mstro_event_domain_destroy-event-c-152-failed-to-perform-timedwait-60-operation-timed-out' into 'devel'

Resolve "mstro_event_domain_destroy(event.c:152) Failed to perform timedwait: 60 (Operation timed out)"

Closes #147

See merge request cerl/maestro/maestro-core!75
parents ee14f2de 980f51be
Branches
Tags
No related merge requests found
Pipeline #77569 passed
Stage: build-and-test
Show whitespace changes
Inline Side-by-side
Showing
with 565 additions and 190 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment