Skip to content
This repository has been archived by the owner on May 20, 2023. It is now read-only.

Tag v0.8.0 #78

Merged
merged 1 commit into from
Aug 20, 2019
Merged

Tag v0.8.0 #78

merged 1 commit into from
Aug 20, 2019

Conversation

jdforrester
Copy link
Member

No description provided.

Signed-off-by: James D. Forrester <jforrester@wikimedia.org>
@catrope catrope merged commit dee5f33 into master Aug 20, 2019
@jdforrester jdforrester deleted the release-0.8.0 branch August 20, 2019 15:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants