Am Wed, Apr 12, 2023 at 11:18:26PM +0200 schrieb Josselin Poiret: > I don't have a particularly strong opinion either way, but if you do > merge it, could you make sure to also merge master into c-u and launch a > CI evaluation right afterwards?
The second part is automatic right now, ci is configured to build all of core-updates. Andreas
