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

Editorial edits from buglist #238

Merged
merged 15 commits into from Apr 22, 2016
Merged

Editorial edits from buglist #238

merged 15 commits into from Apr 22, 2016

Conversation

@travisleithead
Copy link
Member

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

@travisleithead
Copy link
Member

I filed Issue #240 to discuss it.

@travisleithead
Copy link
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.

None yet

2 participants