[Activity Explorer] Migration to Sirius 4.1

ci-bot commented on 2016-08-18

Merged to [master]. Commit: http://git.eclipse.org/c/amalgam/org.eclipse.amalgam.git/commit/?id=c52fd4cf977b3ba66ac5a9895ee93cc77ba70a10

ci-bot commented on 2016-09-14

Merged to [master]. Commit: http://git.eclipse.org/c/amalgam/org.eclipse.amalgam.git/commit/?id=4d5d4c834314956e9eb169ccc9c13cadf40c705b

pierre-charles.david commented on 2020-02-20

Hi. It looks like the commits for this have been merged. Can the ticket be closed?

eclipse / amalgam