Errata are introduced and stored in the issue list of the document‘s GitHub repository. The workflow to add a new erratum is as follows:
ErratumRaised”. It is o.k. for an erratum to have several labels.Editorial” are displayed separately, to make it easier to differentiate editorial errata from substantial ones.Errata” is added to the entry and the “ErratumRaised” label should be removed. Additionally, a new comment on the issue MAY be added, beginning with the word "Summary:" (if such a summary is useful based on the discussion).Errata”, are displayed in this report, whether they are opened or closed. Their status is added to the report on the individual errata.Editorial”; editorial errata are listed separately from the substantial ones.If you have problems following this process, but you want nevertheless to report an error, you can also contact the staff contact of the Working Group, Ivan Herman.