search

w3c / web-annotation

Web Annotation Working Group repository, see README for links to specs
https://w3c.github.io/web-annotation/
Other
141 stars 30 forks source link

Fix the selectors-states ref Anno in HTML note #417

Open BigBlueHat opened 7 years ago

BigBlueHat commented 7 years ago

So...this is likely my fault...so I fixed the mess.

Not sure how the post-pub fixes work, but here it is all the same @iherman.

iherman commented 7 years ago

At this point, I would prefer to use the official errata mechanism, see the description in:

https://www.w3.org/annotation/errata/ https://www.w3.org/annotation/errata/

We should not modify the published notes.

On 27 Feb 2017, at 16:02, BigBlueHat <notifications@github.com mailto:notifications@github.com> wrote:

So...this is likely my fault...so I fixed the mess.

Not sure how the post-pub fixes work, but here it is all the same @iherman https://github.com/iherman.

You can view, comment on, or merge this pull request online at:

https://github.com/w3c/web-annotation/pull/417 https://github.com/w3c/web-annotation/pull/417 Commit Summary

Fix the selectors-states ref Anno in HTML note File Changes

M serialization-html-note/index-respec.html https://github.com/w3c/web-annotation/pull/417/files#diff-0 (2) M serialization-html-note/index-turtle-not-highlight.html https://github.com/w3c/web-annotation/pull/417/files#diff-1 (2) M serialization-html-note/index.html https://github.com/w3c/web-annotation/pull/417/files#diff-2 (8) Patch Links:

https://github.com/w3c/web-annotation/pull/417.patch https://github.com/w3c/web-annotation/pull/417.patch https://github.com/w3c/web-annotation/pull/417.diff https://github.com/w3c/web-annotation/pull/417.diff — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/w3c/web-annotation/pull/417, or mute the thread https://github.com/notifications/unsubscribe-auth/AAfyE9NCu_-RRSCcNiQJW2r7pVYNGOFAks5rguWEgaJpZM4MNNbY.

https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png https://github.com/w3c/web-annotation https://github.com/w3c/web-annotation/pull/417

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

BigBlueHat commented 7 years ago

Yeah...that's what I figured. :cry: I'll do those steps.

BigBlueHat commented 7 years ago

@iherman turned out to be a lot easier than I thought. 😃 I've added the necessary labels to this PR--which I hope "counts" as an issue for the needs of the errata process.

It (thankfully) shows up in the correct listing: https://github.com/w3c/web-annotation/labels/ErratumRaised

iherman commented 7 years ago

@BigBlueHat I would propose to close this PR without merge.

almereyda commented 3 years ago

This is a very minor change, easy to fix. Is there something one can do to promote it to the release version on https://www.w3.org/TR/annotation-html/ four years after discovery and providing an erratum?