r26159 - Fix typo in ponder choice number by @gausie in

[Github Bot]

What's Changed​

• Fix typo in ponder choice number by @gausie in #509

Full Changelog: r26158...r26159

View on Github