Skip to content

rename allows_pooling to pooling_enabled#197

Merged
rkolavo merged 1 commit intomainfrom rk/rename-pooling-enabledJan 16, 2025

Commits

Commits on Jan 16, 2025