Skip to content
This repository was archived by the owner on Jul 30, 2019. It is now read-only.

Editorial edits from buglist#238

Merged
travisleithead merged 15 commits into
w3c:masterfrom
arronei:editorial
Apr 22, 2016
Merged

Editorial edits from buglist#238
travisleithead merged 15 commits into
w3c:masterfrom
arronei:editorial

Conversation

@arronei

@arronei arronei commented Apr 21, 2016

Copy link
Copy Markdown

@travisleithead

Copy link
Copy Markdown
Member

I think we should remove the <isindex> commit from this PR... it's not really an editorial change...

@travisleithead

Copy link
Copy Markdown
Member

I filed Issue #240 to discuss it.

@travisleithead

Copy link
Copy Markdown
Member

#240 is now resolved. Looks like we're OK to merge.

@travisleithead travisleithead merged commit 3133647 into w3c:master Apr 22, 2016
W3C-HTML-Bot pushed a commit that referenced this pull request Apr 22, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants