Skip to content
This repository was archived by the owner on Feb 5, 2025. It is now read-only.

Conversation

@mindgraffiti
Copy link
Contributor

And make sure CI is happy about it.

@mindgraffiti mindgraffiti added the enhancement New feature or request label Oct 7, 2020
@mindgraffiti mindgraffiti self-assigned this Oct 7, 2020
@mindgraffiti
Copy link
Contributor Author

Merging without review, as project settings are a minor addition.

@mindgraffiti mindgraffiti merged commit 58cc2bc into develop Oct 7, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants