eclipse-platform-runtime (4.12-1) unstable; urgency=medium * New upstream release -- Emmanuel Bourg <email address hidden> Wed, 17 Jul 2019 11:39:32 +0200