On Wed, 15 Feb 2023 at 14:10, Andrew Dunstan <and...@dunslane.net> wrote: > We'll email them once this is in. Most people are fairly reponsive.
I pushed the rename patch earlier. How should we go about making contact with the owners? I'm thinking it may be better coming from you, especially if you think technical details of what exactly should be changed should be included in the email. But I can certainly have a go if you'd rather I did it or you don't have time for this. Thanks David