Merge branch 'feature/hotfix-v3.0.1'
Merge branch 'feature/hotfix-v3.0.1'
Fixed non-existing mission file.
Fixed log markers not showing up in the console (RevisionOverlays).
Fixed several issues related with map edition using object IDs different
of object names (now there is only ID).