Skip to content

Conversation

thiemowmde
Copy link
Contributor

Pinging @adrianheine.

This patch also contains a few minor cleanups I had in my stashes.

@thiemowmde thiemowmde added this to the 0.2.1 milestone Jan 13, 2016
@JeroenDeDauw
Copy link
Member

+1

mariushoch added a commit that referenced this pull request Jan 13, 2016
@mariushoch mariushoch merged commit 2bed9ff into master Jan 13, 2016
@mariushoch mariushoch deleted the release021 branch January 13, 2016 18:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants