Skip to content

docs(pool): document extend's non-reentrancy requirement - #385

Merged
tisonkun merged 1 commit into
apache:mainfrom
nanami-0713:docs/pool-extend-nonreentrancy
Oct 24, 2026
Merged

docs(pool): document extend's non-reentrancy requirement#385
tisonkun merged 1 commit into
apache:mainfrom
nanami-0713:docs/pool-extend-nonreentrancy

docs(pool): document extend's non-reentrancy requirement

52d1368
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Run Miri tests
succeeded Oct 24, 2026 in 4m 44s