Errata management

Hi all,

as agreed today, I have set the labels ErratumRaised, Errata, and Editorial for the four repositories. ErratumRaised is used when someone raises a new issue that he/she thinks is an error; Errata is set when the issue is accepted by the group as a genuine error, and Editorial is used to separate the editorial errata from the rest.


The 'template' that I will used is based on this:

https://w3c.github.io/display_errata/

Ivan



----
Ivan Herman, W3C 
Home: http://www.w3.org/People/Ivan/
mobile: +31-641044153
ORCID ID: https://orcid.org/0000-0003-0782-2704

Received on Friday, 24 April 2020 17:22:58 UTC