Skip to content
This repository has been archived by the owner on Aug 7, 2019. It is now read-only.

Misc fixes #25

Merged
merged 2 commits into from Feb 8, 2019
Merged

Misc fixes #25

merged 2 commits into from Feb 8, 2019

Conversation

basvs
Copy link
Contributor

@basvs basvs commented Feb 8, 2019

No description provided.

@annejan annejan merged commit 6a1db66 into master Feb 8, 2019
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.

None yet

2 participants