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

Update index.html #813

Merged
merged 1 commit into from
Mar 13, 2019
Merged

Update index.html #813

merged 1 commit into from
Mar 13, 2019

Conversation

larsgsvensson
Copy link
Contributor

Editorial issues:

Editorial issues:
- updated incorrect escaping of '<' and '>'
- Updated syntax in "related work"-examples to use _quoted-string_ syntax when URIs are used in parameters as this seems to be the common practice cf. https://tools.ietf.org/html/rfc7240#section-2.1 and https://tools.ietf.org/html/rfc8288#section-3.5
- Moved unresolved issues to the end of related work
@rob-metalinkage rob-metalinkage merged commit 1ffa083 into gh-pages Mar 13, 2019
@nicholascar nicholascar deleted the larsgsvensson-editorial branch March 27, 2019 23:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants