Skip to content

Fix GC race on freshly created dynamic pools via RAII guard#255

Merged
vadv merged 1 commit into
masterfrom
fix/dynamic-pool-init-guard
May 16, 2026
Merged

Fix GC race on freshly created dynamic pools via RAII guard#255
vadv merged 1 commit into
masterfrom
fix/dynamic-pool-init-guard

Commits

Commits on May 16, 2026