Processing commands for [email protected]: > user [email protected] Setting user to [email protected] (was [email protected]). > 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 [email protected] with problems
