Weekly Stable Snapshot 2023/10/27
Pre-release
Pre-release
github-actions
released this
27 Oct 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