Closed eclipse-egf-bot closed 3 years ago
ci-bot commented on 2018-04-18
Merged to [master]. Commit: http://git.eclipse.org/c/egf/org.eclipse.emf.egf.git/commit/?id=98d28b71f0cf759bc418ccf2da107cf27ed90b00
ci-bot commented on 2018-04-25
Merged to [master]. Commit: http://git.eclipse.org/c/egf/org.eclipse.emf.egf.git/commit/?id=1ddd68ff88d6aadf7ac5a4a692c9f6cfe51adaab
thomas.guiu commented on 2018-05-18
done
🆔 ECLIPSE-533741
👷 thomas.guiu
📅 2018-04-18
🔎 1.5.1