Skip to content
This repository has been archived by the owner on Jul 1, 2021. It is now read-only.

settings fix #186

Merged
merged 3 commits into from
May 10, 2021
Merged

settings fix #186

merged 3 commits into from
May 10, 2021

Conversation

MarinPostma
Copy link
Contributor

add type checked settigns validation. For now it only transform the settings accepting wildcard

@irevoire irevoire self-requested a review May 10, 2021 16:39
@MarinPostma
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented May 10, 2021

Build succeeded:

@bors bors bot merged commit ceb8d6e into main May 10, 2021
@bors bors bot deleted the settings-fix branch May 10, 2021 17:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants