Your message dated Thu, 31 Aug 2017 11:29:42 +0300 with message-id <[email protected]> and subject line Twas fixed in upstream 1.0.1, debian 1.0.1-1 has caused the Debian Bug report #697399, regarding pps-tools: ppsldisc is not supplied to be marked as done.
This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact [email protected] immediately.) -- 697399: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=697399 Debian Bug Tracking System Contact [email protected] with problems
--- Begin Message ---Package: pps-tools Version: 0.20120406+g0deb9c7e-2 Severity: normal The man pages list a tool for configuring serial line discipline: ppsldisc: setup correct RS232 line discipline However this binary is not supplied in the package. -- System Information: Debian Release: 7.0 APT prefers unstable APT policy: (990, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 3.7.0-rc6+ (SMP w/6 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages pps-tools depends on: ii libc6 2.16-0experimental1 pps-tools recommends no packages. pps-tools suggests no packages. -- no debconf information
--- End Message ---
--- Begin Message ----- Best regards, Alexander Gerasiov Contacts: e-mail: [email protected] Homepage: http://gerasiov.net Skype: gerasiov PGP fingerprint: 04B5 9D90 DF7C C2AB CD49 BAEA CA87 E9E8 2AAC 33F1
--- End Message ---
