On 2019-08-07, Gary Gregory wrote: > I think you are missing openjdk13, openjdk-ea now maps to 14 IIRC.
If so then it hasn't been in there before my change either :-) Stefan
On 2019-08-07, Gary Gregory wrote: > I think you are missing openjdk13, openjdk-ea now maps to 14 IIRC.
If so then it hasn't been in there before my change either :-) Stefan