search

w3c / media-source

Media Source Extensions
https://w3c.github.io/media-source/
Other
268 stars 58 forks source link

Fix #163: Replace incorrect reference to highest-end-timestamp #164

Closed wolenetz closed 8 years ago

wolenetz commented 8 years ago

@jdsmith3000 @mwatson2 Please take a look. @plehegar @paulbrucecotton This change should purely be an editorial correction to a non-normative note. As such, it shouldn't change the in-progress PR CfC but should be included in the document sent in the eventual request for transition to PR.

paulbrucecotton commented 8 years ago

I agree that this an editorial correction that we can safely make to the specification before we forward the candidate Proposed Recommendation to the W3C Director.

/paulc HME WG Chair

jdsmith3000 commented 8 years ago

LGTM. Merge away!