Re: deduplicating jquery/

2019-01-07 Thread Emmanuel Bourg
Le 07/01/2019 à 23:02, Samuel Thibault a écrit : > I'd rather cripple the documentation a bit than removing it :) The issue is, we keep getting more and more javadoc related issues with each OpenJDK upgrade. This jquery "issue" is a bit the straw that breaks the camel's back, and we would rather

Re: deduplicating jquery/

2019-01-07 Thread Samuel Thibault
Emmanuel Bourg, le lun. 07 janv. 2019 22:25:35 +0100, a ecrit: > 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 wa

Re: deduplicating jquery/

2019-01-07 Thread Emmanuel Bourg
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 javad

Re: deduplicating jquery/

2019-01-07 Thread Nicholas D Steeves
Dear Java Team, Do you have any suggestions for working with the following?: (please reply to -devel) On Sun, Jan 06, 2019 at 10:34:50PM +0100, Rene Engelhard wrote: > On Sat, Jan 05, 2019 at 09:20:34PM +0100, Samuel Thibault wrote: > > Sean Whitton, le sam. 05 janv. 2019 19:48:35 +, a ecrit: