[isabelle-dev] jdk-17.0.2+8

Makarius makarius at sketis.net
Fri Jan 21 19:25:07 CET 2022

With Isabelle/79635df97a90 we are at current jdk-17.0.2+8 "PSU" from 18-Jan-2022.

It could be called a "Proforma Seasonal Update", although PSU officially means 
"Patch Set Updates".

Further details are in 
https://docs.azul.com/core/zulu-openjdk/release-notes/january-2022 although I 
did not spot anything special in this long list of accumulated changes.


More information about the isabelle-dev mailing list