Skip to content

tsan: key the pool-lifetime edge on a token, not the pool pointer - #140

Merged
martinus merged 1 commit into
masterfrom
claude/tsan-pool-lifetime-token
Jul 25, 2026
Merged

tsan: key the pool-lifetime edge on a token, not the pool pointer#140
martinus merged 1 commit into
masterfrom
claude/tsan-pool-lifetime-token

Commits

Commits on Jul 25, 2026