Weekly Stable Snapshot 2023/11/03
Pre-release
Pre-release
github-actions
released this
03 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