Skip to content
This repository has been archived by the owner. It is now read-only.

Update git repo url #57

Merged
merged 1 commit into from Sep 14, 2017
Merged

Update git repo url #57

merged 1 commit into from Sep 14, 2017

Conversation

@c-w
Copy link
Contributor

@c-w c-w commented Sep 14, 2017

No functional change.

@c-w c-w requested a review from Smarker Sep 14, 2017
@c-w c-w merged commit 983a860 into master Sep 14, 2017
2 checks passed
@c-w c-w deleted the c-w-patch-1 branch Sep 14, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants