Skip to content
This repository has been archived by the owner on Oct 6, 2020. It is now read-only.

merge #44

Merged
merged 4 commits into from
Aug 2, 2019
Merged

merge #44

merged 4 commits into from
Aug 2, 2019

Conversation

13ace37
Copy link
Member

@13ace37 13ace37 commented Aug 2, 2019

#39

Riccardo H and others added 4 commits August 2, 2019 00:34

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
merge
@13ace37 13ace37 self-assigned this Aug 2, 2019
@13ace37 13ace37 added bug Something isn't working enhancement New feature or request labels Aug 2, 2019
@13ace37 13ace37 merged commit a68171f into master Aug 2, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant