Hi David, The manual page fixes happen upstream in two parts. First fix predates bug report and is about warning fixes, and the second deals the pgrep.1 paragraph issue.
https://gitorious.org/procps/procps/commit/47100a81259e4de4ae593a7c124e58afd7723968 https://gitorious.org/procps/procps/commit/889f1bebc0038a3233b6cfcc4f68720e810d6d22 -- Sami Kerola http://www.iki.fi/kerolasa/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org