build: fix warning about key in OptionsTable#10113

mergify[bot] merged 1 commit intomainMergifyio/docs:mainfrom

devs/jd/fix-warn/Iac5f82e5a0fcf1c06dd223db5c8e72949e9e9138Mergifyio/docs:devs/jd/fix-warn/Iac5f82e5a0fcf1c06dd223db5c8e72949e9e9138Copy head branch name to clipboard