Skip to content

Fix issue #176#177

Merged
lohedges merged 1 commit into
develfrom
fix_176
Jul 21, 2026
Merged

Fix issue #176#177
lohedges merged 1 commit into
develfrom
fix_176

Conversation

@lohedges

Copy link
Copy Markdown
Contributor

This PR closes #176 by allowing oversubscription_factor to change on restart.

@lohedges lohedges added the bug Something isn't working label Jul 21, 2026
@lohedges
lohedges merged commit 2a835b5 into devel Jul 21, 2026
4 checks passed
@lohedges
lohedges deleted the fix_176 branch July 21, 2026 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add oversubscription_factor to allowed diffs between restarts

1 participant