Skip to content

typo: node -> infoset in _resolve_infoset#535

Merged
rahulsavani merged 114 commits into
maint16_2from
bug_fix_error_report_resolve_infoset
Jul 17, 2025
Merged

typo: node -> infoset in _resolve_infoset#535
rahulsavani merged 114 commits into
maint16_2from
bug_fix_error_report_resolve_infoset