14 Feb
2017
14 Feb
'17
5:31 p.m.
Le 06/02/2017 à 22:39, Bruno Pagani a écrit :
Are you sure you want deletion of the packages rather than merge? Merging makes much more sense to me (the project just changed its name)
Regards, Bruno
I went with a merge.