Am Tue, Feb 28, 2023 at 09:51:49PM +0100 schrieb Andreas Enge: > Maybe it is time to merge master back into core-updates?
Where the vague "it is time to" could be read as "could you please?". It is something I have never done, so it makes me nervous. Well, I suppose I could just merge and try to fix the merge conflicts? Andreas