[Pkg-freeipa-devel] Processed: user debian-qa at lists.debian.org, usertagging 873254, found 873254 in 9.0.1+11-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 873254 piuparts
There were no usertags set.
Usertags are now: piuparts.
> found 873254 9.0.1+11-1
Bug #873254 [openjdk-9-jre-headless] classes.jsa is not removed on package uninstall
Marked as found in versions openjdk-9/9.0.1+11-1.
> found 857150 10.3.5+12-5
Bug #857150 [pki-base-java] pki-base-java: broken symlink: /usr/share/pki/lib/resteasy-jaxrs-jandex.jar -> ../../java/resteasy-jaxrs-jandex.jar
Marked as found in versions dogtag-pki/10.3.5+12-5.
> found 875419 2.2-1
Bug #875419 [manpages-de] manpages-de: broken symlinks: /usr/share/man/de/man4/{tty, console}_ioctl.4.gz -> ../man2/ioctl_{tty, console}.2.gz
Marked as found in versions manpages-de/2.2-1.
> found 857957 0.15.3+ds-1
Bug #857957 [plinth] plinth: broken symlinks: /usr/share/plinth/static/doc, /usr/lib/python3/dist-packages/plinth/modules/jsxc/static/{img, libjs-jsxc/*}
Marked as found in versions plinth/0.15.3+ds-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
857150: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=857150
857957: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=857957
873254: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873254
875419: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=875419
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems