Skip to content
Snippets Groups Projects
Commit cd0b86f9 authored by Emilio Meschi's avatar Emilio Meschi :bicyclist_tone1:
Browse files

fixes to avoid deadlocks in destructor in case of a fatal uncaught exception

parent 6758c643
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment