Weekly Stable Snapshot 2023/11/10
Pre-release
Pre-release
github-actions
released this
10 Nov 23:04
·
784 commits
to main
since this release
Merge pull request #841 from igchor/disjoint_pool_extend_error [umf] extend error message for disjoint pool