Community
Participate
Working Groups
The command ("move") is undefined The command ("org.eclipse.ui.navigator.Open") is undefined
Patch on gerrit for master (1.1.0) : https://git.eclipse.org/r/#/c/36105/
Gerrit change https://git.eclipse.org/r/36105 was merged to [master]. Commit: http://git.eclipse.org/c/papyrus/org.eclipse.papyrus.git/commit/?id=d52ad1ceec6c04f3ac5c3cf4a59289dab37ca7e1
Patch merged in mars master