Processing commands for cont...@bugs.debian.org: > user debian...@lists.debian.org Setting user to debian...@lists.debian.org (was a...@debian.org). > usertags 816440 piuparts There were no usertags set. Usertags are now: piuparts. > severity 816440 serious Bug #816440 [openjdk-9-jdk] openjdk-9-jdk: file conflict jawt.h Severity set to 'serious' from 'normal' > found 798374 usrmerge/10 Bug #798374 [piuparts] usrmerge: cannot be tested with piuparts Marked as found in versions usrmerge/10. > thanks Stopping processing here.
Please contact me if you need assistance. -- 798374: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=798374 816440: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=816440 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
