With Isabelle/cdbe20024038 we are moving from scala-3.2.0 to scala-3.2.1. See also https://github.com/lampepfl/dotty/releases/tag/3.2.1 Lets hope that nothing bad is going to happen: Scala updates often had hidden problems that showed up only later. Makarius