Skip to content

Updating to miniconf release version#436

Merged
bors[bot] merged 1 commit intomasterfrom
feature/miniconf-update
Aug 11, 2021
Merged

Updating to miniconf release version#436
bors[bot] merged 1 commit intomasterfrom
feature/miniconf-update

Conversation

@ryan-summers
Copy link
Member

This PR updates miniconf to use the 0.1 release version

@ryan-summers
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Aug 11, 2021
@bors
Copy link
Contributor

bors bot commented Aug 11, 2021

try

Build succeeded:

@ryan-summers
Copy link
Member Author

bors merge

@bors
Copy link
Contributor

bors bot commented Aug 11, 2021

Build succeeded:

@bors bors bot merged commit 995e82c into master Aug 11, 2021
@bors bors bot deleted the feature/miniconf-update branch August 11, 2021 14:17
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