Hi Cedric, On Thu, 2024-11-14 at 12:54 +0100, Cédric Damioli wrote: > I may propose a PR, and even merge it, but I didn't exercise my > committer rights since a very long time, and never in Oak, so I > prefer > to ask before!
I would say that if no one replied with concerns in such a long time you should take that as 'no objections' :-) Thanks, Robert
