Skip to content

Add max iteration criterion for while loop (default 1000).#1815

Merged
willend merged 1 commit intomainfrom post-3.5.18-minor-fixesJan 3, 2025

Commits

Commits on Jan 3, 2025