Am Mon, Mar 20, 2023 at 07:17:41PM +0200 schrieb Efraim Flashner: > > Time to merge master into core-updates, I would say. > Often a good idea :)
Ah, it makes me super nervous. I now did for the first time ever... There were a few problems with openjdk, where the automatic merge took the wrong things from core-updates, instead of from master; hopefully I worked it out correctly. At worst, we can always revert... Andreas