> On 12 May 2026, at 16:57, Gregory Brzeski <[email protected]> wrote:
>
> Personally, I don't feel the need to proceduralise it any further at this
> stage.
Me too!
Besides, surely we all have plenty of more important things that need our
attention?
-----
To unsubscribe from this mailing list or change your subscription options,
please visit: https://mailman.ripe.net/mailman3/lists/dns-wg.ripe.net/
As we have migrated to Mailman 3, you will need to create an account with the
email matching your subscription before you can change your settings.
More details at: https://www.ripe.net/membership/mail/mailman-3-migration/
