Skip to content
This repository has been archived by the owner on Nov 30, 2022. It is now read-only.

Small fixes #14

Merged
merged 3 commits into from
Jul 3, 2020
Merged

Small fixes #14

merged 3 commits into from
Jul 3, 2020

Conversation

nschloe
Copy link
Owner

@nschloe nschloe commented Jul 3, 2020

No description provided.

@nschloe nschloe merged commit 46e86d1 into master Jul 3, 2020
@nschloe nschloe deleted the small-fixes branch July 3, 2020 21:40
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

1 participant