pps-tools (1.0.2-1) unstable; urgency=medium * [efb1ff7] Merge branch 'master' into debian Updating to 1.0.2 (Closes: #889185, Thanks to Steve Langasek and Alexander Gerasiov). -- Bernd Zeimetz <email address hidden> Sun, 04 Feb 2018 01:05:11 +0100