Sirius 1.0.0rc1
[cleanup] Avoid NPE during platform shutdown

Change-Id: Idee97760ce975d69b4362f70a2263cb1b7bb7b07
Signed-off-by: Maxime PORHEL <maxime.porhel@obeo.fr>
1 file changed