Skip to content

Add PoolStatus.size() helper as convenience for free + busy#146

Merged
rbygrave merged 1 commit into
mainfrom
feature/size-helper
Jun 10, 2026
Merged

Add PoolStatus.size() helper as convenience for free + busy#146
rbygrave merged 1 commit into
mainfrom
feature/size-helper

Commits

Commits on Jun 10, 2026