On Thu, Nov 09, 2023 at 01:26:17PM +0100, Paolo Abeni wrote: > I fear this is a bit too late for today's PR. I hope it should not be a > big problem, since we are very early in the release cycle. No problem from my side.