Backport #11237: Fix two issues when starting the repl#11251
Open
mergify[bot] wants to merge 1 commit into3.16from
Open
Backport #11237: Fix two issues when starting the repl#11251mergify[bot] wants to merge 1 commit into3.16from
mergify[bot] wants to merge 1 commit into3.16from
Commits
Commits on Oct 9, 2025
- authored andcommitted