Bug#820857: java-package: Generated JDK package should have higher priority than existing openjdk packages

Wed Apr 13 08:29:16 UTC 2016

Le 13/04/2016 10:04, Markus Koschany a écrit :

> I don't think we should change the current behavior and mark this bug as
> wontfix because there will always be people who will argue for or
> against this proposal.

We could also add a parameter to change the priority when the package is
generated. That would satisfy both views.

Emmanuel Bourg