search

w3c / encrypted-media

Encrypted Media Extensions
https://w3c.github.io/encrypted-media/
Other
180 stars 80 forks source link

Several small commits related to value and identifier definitions #327

Closed ddorwin closed 8 years ago

ddorwin commented 8 years ago

Some of these are used by PR #328.

I plan to manually merge this to keep the four individual commits.

ddorwin commented 8 years ago

I manually pushed the three separate commits. The last one is commit 236daac.

(The first commit was merged in PR #326.)