On Wed, 8 Nov 2023 at 16:59, Thomas Chauchefoin < thomas.chauchef...@sonarsource.com> wrote:
> Thank you for your early feedback on this suggestion. Without rushing > things, I assume that the next step for me would be to draft an RFC to > formalize this change? > The change seems to be uncontroversial, so an RFC feels unnecessary here. Just make a PR and I think we can merge this into master. Best regards, Gina P. Banyard
