On Wed, 19 Apr 2023 at 21:51, Brian E Carpenter <brian.e.carpenter@xxxxxxxxx> wrote:
All we have here is a tooling bug.
In case anyone wishes to follow up on the tooling question, I'm attempting to remove the IETF list from this thread so please continue exclusively on tools-discuss. (Thank you John for adding tools-discuss in the first place.)
Non-tool questions can obviously continue on the IETF list, if there is no better forum for it.
Chris
