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

Pr/gitmaintenance #36

Merged
merged 2 commits into from
Oct 27, 2016
Merged

Pr/gitmaintenance #36

merged 2 commits into from
Oct 27, 2016

Conversation

GeertvanHorrik
Copy link
Contributor

No description provided.

@GeertvanHorrik GeertvanHorrik merged commit 81cc9b2 into master Oct 27, 2016
@JakeGinnivan JakeGinnivan deleted the pr/gitmaintenance branch November 26, 2016 03:33
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.

1 participant