Processing commands for [email protected]: > retitle 935842 jh_build: Make java source version configurable Bug #935842 [javahelper] jh_buld: Make java source version configurable Changed Bug title to 'jh_build: Make java source version configurable' from 'jh_buld: Make java source version configurable'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 935842: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=935842 Debian Bug Tracking System Contact [email protected] with problems __ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
