Nico, > On Nov 19, 2025, at 9:24 AM, Nico Williams <[email protected]> wrote: > > On Wed, Nov 19, 2025 at 08:39:02AM -0800, Bob Hinden wrote: >> Or perhaps better, report “errors” and then make “corrections”. We >> tend to use erratum for both. > > That's because error reports generally come with suggested corrections, > and that's because typically the corrections are obvious once you see > the error.
True for simple errors, especially editorial. But I have seen cases where it was correct reporting the error, but the suggested correction was wrong. Based on that, I think they should be separated. Bob _______________________________________________ rfc-interest mailing list -- [email protected] To unsubscribe send an email to [email protected]
