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 --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
