Re: deduplicating jquery/
Hi Nicholas,
Le 07/01/2019 à 21:13, Nicholas D Steeves a écrit :
> Do you have any suggestions for working with the following?: (please
> reply to -devel)
We've discussed this topic in #903428 and the consensus is roughly that
it's a waste of time and we would rather drop the mostly unused javadoc
packages than implementing this.
If someone has a clever idea that doesn't involve patching the 480
javadoc packages in unstable, nor deviating too much the OpenJDK tools
from upstream, the Java Team would be happy to discuss and review the
patches provided.
Emmanuel Bourg
Reply to: