Skip to content

Conversation

diemol
Copy link
Member

@diemol diemol commented Nov 20, 2018

@diemol diemol merged commit 5424191 into master Nov 21, 2018
@diemol diemol deleted the update-ubuntu-20181113 branch November 21, 2018 09:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant