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