I haven't had a chance to look at the code involved, so can't say at the
moment if I have the skills to submit anything useful.
Also, I noticed that for the DEB file generated for the server-jre, in
the Provides line, lists "java-browser-plugin". This is wrong, as the
server-jre does not include the Java plug-ins (which is one of the key
differences in the server versus non-server JREs, the other being extra
monitoring software in the server JRE).
On 2015-01-27 10:25, Emmanuel Bourg wrote:
Hi David,
Thank you for the suggestion, that's a good idea. Would you want to
provide a patch?
Emmanuel Bourg
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
