Processing commands for cont...@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...@lists.debian.org Setting user to debian...@lists.debian.org (was a...@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 ow...@bugs.debian.org with problems
