Re: Gnome dans core-updates

[Andreas Enge]

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