Skip to content
Snippets Groups Projects
Commit cc6b7704 authored by Maxence Naud's avatar Maxence Naud
Browse files

Merge branch 'upd_dev' into 'dev'

Fix Scheduler::StaticSchedulingElement shared_ptr circular reference

See merge request !280
parents 9a62e987 dec04e44
No related branches found
No related tags found
Loading
Checking pipeline status