On Mon, Feb 27, 2023 at 07:25:13PM +0100, Juliusz Chroboczek wrote:
> > That's a bug in the new RFC text then ;)
> 
> Agreed.  https://www.rfc-editor.org/how-to-report/

Done :)

--Daniel

Reply via email to