Merge branch 'master' of gitrepos.estec.esa.int:taste/spacecreator into...

Merge branch 'master' of gitrepos.estec.esa.int:taste/spacecreator into 585-dve-edit-entity-names-from-aadl-tree
1 job for 585-dve-edit-entity-names-from-aadl-tree in 11 minutes and 43 seconds (queued for 3 seconds)