Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added media types' table to the draft #235

Merged
merged 3 commits into from
May 20, 2016

Conversation

iherman
Copy link
Member

@iherman iherman commented May 20, 2016

  • Added the tables to a separate appendix
  • Added a relevant text into the conformance section
  • Labelled all other appendices as informative

This would close issue #203

@iherman
Copy link
Member Author

iherman commented May 20, 2016

The removal of CONTRIBUTOR.md is a side effect of some mess I did with my local github client; it is irrelevant to this change.

@azaroth42
Copy link
Collaborator

If we merge, it will remove the CONTRIBUTING and LICENSE files though. I'll add them back into the branch and merge

@iherman
Copy link
Member Author

iherman commented May 20, 2016

On 20 May 2016, at 09:21, Rob Sanderson notifications@github.com wrote:

@iherman https://github.com/iherman Did you intend to remove contributing and license files?


You are receiving this because you were mentioned.
Reply to this email directly or view it on GitHub #235 (comment)

See my comment. I will check again after this PR is done; I believe I had to change this and let me check that later.

I.


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

@iherman
Copy link
Member Author

iherman commented May 20, 2016

Ok. (I think the mess comes from the fact that some tool somewhere was messed up with capitalization of the file names:-(

On 20 May 2016, at 09:23, Rob Sanderson notifications@github.com wrote:

If we merge, it will remove the CONTRIBUTING and LICENSE files though. I'll add them back into the branch and merge


You are receiving this because you were mentioned.
Reply to this email directly or view it on GitHub #235 (comment)

@azaroth42 azaroth42 merged commit cfdda21 into gh-pages May 20, 2016
@iherman iherman mentioned this pull request May 20, 2016
5 tasks
@azaroth42 azaroth42 deleted the Update-media-selector-table branch May 22, 2016 19:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants