Skip to content
This repository was archived by the owner on Mar 26, 2023. It is now read-only.

Publish 139 #470

Merged
merged 1 commit into from
Jul 25, 2019
Merged

Publish 139 #470

merged 1 commit into from
Jul 25, 2019

Conversation

BasThomas
Copy link
Contributor

Closes #468

@BasThomas
Copy link
Contributor Author

Publishing a little early as I'm on a train, potentially without internet, later.

@BasThomas BasThomas merged commit 115e630 into master Jul 25, 2019
@BasThomas BasThomas deleted the publish-139 branch July 25, 2019 13:08
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[139] Issue #139 - July 25, 2019
1 participant
@BasThomas