Processed: jedit should depend on Java 7 if available

Tue May 14 20:27:27 UTC 2013

Processing commands for control at bugs.debian.org:

> forcemerge 683502 706777
Bug #683502 [jedit] jedit: Fix FTBFS when default java implementation changes
Bug #706777 [jedit] jedit should depend on Java 7 if available
Severity set to 'serious' from 'wishlist'
There is no source info for the package 'jedit' at version '5.0~pre1+dfsg-1ubuntu1' with architecture ''
Unable to make a source version for version '5.0~pre1+dfsg-1ubuntu1'
Marked as found in versions jedit/5.0~pre1+dfsg-1.
Added tag(s) patch.
Bug #683502 [jedit] jedit: Fix FTBFS when default java implementation changes
There is no source info for the package 'jedit' at version '5.0~pre1+dfsg-1ubuntu1' with architecture ''
Unable to make a source version for version '5.0~pre1+dfsg-1ubuntu1'
Marked as found in versions 5.0~pre1+dfsg-1ubuntu1.
Merged 683502 706777
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
683502: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=683502
706777: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=706777
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems