- From: Ivan Herman <ivan@w3.org>
- Date: Fri, 2 Mar 2018 11:06:07 +0100
- To: W3C Publishing Working Group <public-publ-wg@w3.org>
Received on Friday, 2 March 2018 10:06:16 UTC
I have added a "propose closing" issue label to github. I propose that this label would be used when somebody feels that the issue should be closed; the chairs and editors could then review those regularly and indeed close the obvious ones or create a discussion agenda point for the next telco. It would help us in keeping the number of open issues within a reasonable amount… Ivan ---- Ivan Herman, W3C Publishing@W3C Technical Lead Home: http://www.w3.org/People/Ivan/ mobile: +31-641044153 ORCID ID: http://orcid.org/0000-0003-0782-2704
Received on Friday, 2 March 2018 10:06:16 UTC