Processing commands for cont...@bugs.debian.org: > severity 926542 serious Bug #926542 [javahelper] jh_build: randomly fails with DH_OPTIONS="-N..." Severity set to 'serious' from 'normal' > retitle 926542 javatools: jh_build -N has undefined behaviour (--no-package > vs. --no-javadoc) Bug #926542 [javahelper] jh_build: randomly fails with DH_OPTIONS="-N..." Changed Bug title to 'javatools: jh_build -N has undefined behaviour (--no-package vs. --no-javadoc)' from 'jh_build: randomly fails with DH_OPTIONS="-N..."'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 926542: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=926542 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
