Processed: java-package: Java 9 and Java 10 requests

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> # Java 9 bugs. I can't see a Java 9 download on the Oracle website, so
> # these will have severity wishlist.
> forcemerge 876426 888270
Bug #876426 [java-package] java-package: Add support for Java 9
Bug #888270 [java-package] Oracle's naming scheme has changed with Java 1.9 breaking make-jpkg
Severity set to 'wishlist' from 'normal'
Marked as found in versions java-package/0.62.
Added tag(s) patch.
Bug #876426 [java-package] java-package: Add support for Java 9
Marked as found in versions java-package/0.56.
Merged 876426 888270
> severity 876426 wishlist
Bug #876426 [java-package] java-package: Add support for Java 9
Bug #888270 [java-package] Oracle's naming scheme has changed with Java 1.9 breaking make-jpkg
Ignoring request to change severity of Bug 876426 to the same value.
Ignoring request to change severity of Bug 888270 to the same value.
> # Java 10 bugs. There are currently Java 8 and Java 10 downloads available
> # from Oracle, so half of the functionality of java-package is missing;
> # I think severity important is justified.
> # Roberto De Oliveira reports that he has a working patch.
> forcemerge 899239 906818
Bug #899239 [java-package] java-package: please add support for java 10
Bug #906818 [java-package] java-package: Cannot package Java 10.
Severity set to 'normal' from 'important'
Merged 899239 906818
> severity 899239 important
Bug #899239 [java-package] java-package: please add support for java 10
Bug #906818 [java-package] java-package: Cannot package Java 10.
Severity set to 'important' from 'normal'
Severity set to 'important' from 'normal'
> tags 899239 +patch
Bug #899239 [java-package] java-package: please add support for java 10
Bug #906818 [java-package] java-package: Cannot package Java 10.
Added tag(s) patch.
Added tag(s) patch.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
876426: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876426
888270: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888270
899239: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=899239
906818: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=906818
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems