Closed gkellogg closed 6 years ago
Fixes #861, including a 2017-11-17 snapshot (although publication dat…e is unchanged in Overview).
Not sure the note can actually be re-published, or if the publication date would need to change, but at least this fixes it in the Repo.
As there is no active WG, the note cannot be republished... but merging, ie, updating the repo, is fine. Will do it.
Fixes #861, including a 2017-11-17 snapshot (although publication dat…e is unchanged in Overview).
Not sure the note can actually be re-published, or if the publication date would need to change, but at least this fixes it in the Repo.