Processed: found 916302 in 12~29-2, found 919790 in 12~29-2, user debian-qa at lists.debian.org, usertagging 918265 ...

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 916302 12~29-2
Bug #916302 [openjdk-12-jre-headless] openjdk-12-jre-headless: modifies shipped file: /usr/lib/jvm/java-12-openjdk-amd64/lib/server/classes.jsa
Marked as found in versions openjdk-12/12~29-2.
> found 919790 12~29-2
Bug #919790 [openjdk-12-dbg] openjdk-12-dbg: file conflict with openjdk-11-dbg: /usr/lib/debug/.build-id/37/f4d49104d24279b3c0275df2f763e95c9964fd.debug
Marked as found in versions openjdk-12/12~29-2.
> user debian-qa at lists.debian.org
Setting user to debian-qa at lists.debian.org (was anbe at debian.org).
> usertags 918265 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 918260 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 912682 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 868202 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 919595 piuparts
There were no usertags set.
Usertags are now: piuparts.
> found 919595 0.6.0-2
Bug #919595 [zsnapd] zsnapd: must be in contrib as it depends on contrib package
Marked as found in versions zsnapd/0.6.0-2.
> usertags 888331 piuparts
There were no usertags set.
Usertags are now: piuparts.
> found 888331 0.6.0+git20160108-3
Bug #888331 [src:vdr-plugin-softhddevice] vdr-plugin-softhddevice: FTBFS with FFmpeg 4.0
Marked as found in versions vdr-plugin-softhddevice/0.6.0+git20160108-3.
> usertags 873023 piuparts
There were no usertags set.
Usertags are now: piuparts.
> usertags 913564 piuparts
There were no usertags set.
Usertags are now: piuparts.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
888331: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888331
913564: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=913564
916302: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916302
919595: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919595
919790: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919790
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems