- From: Marcos Caceres <marcos@marcosc.com>
- Date: Tue, 21 Feb 2017 19:18:04 +1100
- To: Gregg Kellogg <gregg@greggkellogg.net>
- Cc: spec-prod <spec-prod@w3.org>
On February 21, 2017 at 6:06:40 AM, Gregg Kellogg (gregg@greggkellogg.net) wrote: > > Other than ensuring that it’s clear this is an Editor’s Note > vs a regular note, I don’t really have an opinion. It might be worth > having some logic to verify that all ednotes are removed before > CR, or some other suitable milestone. I can add this to ReSpec's linter. Should we say CR as the cut off? that is, if CR or greater, then generate warning (suggesting it be changed to a real "note", "issue", or removed).
Received on Tuesday, 21 February 2017 08:18:43 UTC