Merge branch 'dyn_manager_bugs' into 'master'
Solved a bug in the deletion of an operation: The master index was not reset. See merge request !9
Loading
Please register or sign in to comment
Solved a bug in the deletion of an operation: The master index was not reset. See merge request !9