Processed: user debian-qa at lists.debian.org, usertagging 774163, notfixed 762137 in 1.38-1 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at debian.org).
> usertags 774163 piuparts
There were no usertags set.
Usertags are now: piuparts.
> notfixed 762137 1.38-1
Bug #762137 {Done: Ross Gammon <rossgammon at mail.dk>} [geographiclib-tools] Geographiclib has binaries without manpage
There is no source info for the package 'geographiclib-tools' at version '1.38-1' with architecture ''
Unable to make a source version for version '1.38-1'
No longer marked as fixed in versions 1.38-1.
> fixed 762137 1.38-1~exp1
Bug #762137 {Done: Ross Gammon <rossgammon at mail.dk>} [geographiclib-tools] Geographiclib has binaries without manpage
Marked as fixed in versions geographiclib/1.38-1~exp1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
762137: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=762137
774163: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=774163
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems