Skip to content
This repository has been archived by the owner on Oct 15, 2024. It is now read-only.

Fix minor error #7

Merged
merged 1 commit into from
Jul 27, 2015
Merged

Fix minor error #7

merged 1 commit into from
Jul 27, 2015

Conversation

frabert
Copy link
Contributor

@frabert frabert commented Jul 27, 2015

No description provided.

armin-pfaeffle added a commit that referenced this pull request Jul 27, 2015
@armin-pfaeffle armin-pfaeffle merged commit 5477fde into armin-pfaeffle:master Jul 27, 2015
@frabert frabert deleted the patch-1 branch July 27, 2015 10:52
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