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

Add the CEPC #1036

Merged
merged 1 commit into from
Oct 2, 2017
Merged

Add the CEPC #1036

merged 1 commit into from
Oct 2, 2017

Conversation

edent
Copy link
Member

@edent edent commented Oct 1, 2017

Fixes #1035

chaals
chaals reviewed Oct 1, 2017
View reviewed changes
Copy link
Collaborator

@chaals chaals left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, this seems like a good idea to me and this seems like a reasonable way to do it.

@LJWatson LJWatson merged commit 0bda401 into w3c:master Oct 2, 2017
plehegar pushed a commit that referenced this pull request Oct 2, 2017
Built by Travis-CI: 0bda401 Add the CEPC (#1036)
4328382
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
1 more reviewer

@chaals chaals chaals left review comments

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@edent @chaals @LJWatson