Skip to content

Conversation

@weiznich
Copy link
Owner

This should address #89

@weiznich weiznich force-pushed the feature/more_pool_configs branch from b6ec636 to 2faa2b8 Compare August 31, 2023 06:41
@weiznich weiznich force-pushed the feature/more_pool_configs branch from 2faa2b8 to 6df08b8 Compare September 1, 2023 07:08
@weiznich weiznich merged commit fead869 into main Sep 1, 2023
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