Skip to content

Mixed mini cleanups#44

Merged
La0 merged 4 commits intomasterfrom
minicleanup
Dec 6, 2019
Merged

Mixed mini cleanups#44
La0 merged 4 commits intomasterfrom
minicleanup

Conversation

@marco-c
Copy link
Copy Markdown
Collaborator

@marco-c marco-c commented Dec 5, 2019

No description provided.

@marco-c marco-c requested a review from La0 December 5, 2019 14:40
@La0 La0 merged commit d7c0272 into master Dec 6, 2019
@La0 La0 deleted the minicleanup branch December 6, 2019 10:33
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.

2 participants