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 <bzed@debian.org>  Sun, 04 Feb 2018 01:05:11 +0100

pps-tools (1.0.1-1) unstable; urgency=medium

  * [4b2ceb3] Merge branch 'master' into debian
  * [9677d4f] Merge branch 'gerasiov-debian' into debian
    This resolves #1, thanks a lot to Alexander Gerasiov!

 -- Bernd Zeimetz <bzed@debian.org>  Wed, 30 Aug 2017 22:51:12 +0200

pps-tools (0.20120406+g0deb9c7e-3) unstable; urgency=low

  * [9f3b0cc3] Set defaults in debian/gbp.conf.
  * [4c98c525] Remove ppsldisc from manpage.
    This tool is not in the pps-tools distribution anymore.
    Thanks to Douglas F. Calvert (Closes: #697399)

 -- Bernd Zeimetz <bernd@bzed.de>  Fri, 04 Jan 2013 22:21:33 +0100

pps-tools (0.20120406+g0deb9c7e-2) unstable; urgency=low

  * [29f982a0] Add missing include.

 -- Bernd Zeimetz <bzed@debian.org>  Wed, 23 May 2012 21:31:41 +0200

pps-tools (0.20120406+g0deb9c7e-1) unstable; urgency=low

  * Initial packaging by Alexander Gordeev, finished for Debian by
    Bernd Zeimetz.

 -- Bernd Zeimetz <bzed@debian.org>  Tue, 22 May 2012 19:34:48 +0200
