Skip to content
This repository was archived by the owner on Jul 30, 2024. It is now read-only.

Trivial cleanup #184

Merged
merged 2 commits into from
Feb 22, 2020
Merged

Trivial cleanup #184

merged 2 commits into from
Feb 22, 2020

Conversation

exoego
Copy link
Owner

@exoego exoego commented Feb 22, 2020

No description provided.

@exoego exoego added the chore label Feb 22, 2020
@exoego exoego changed the title Misc cleanup Trivial cleanup Feb 22, 2020
@exoego exoego merged commit d7e3e4e into master Feb 22, 2020
@exoego exoego deleted the cleanup branch February 22, 2020 22:37
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant