Avoid warning of unhandled message (backport #9884)#9885
Merged
michaelklishin merged 1 commit intov3.12.xfrom Nov 7, 2023
Merged
Avoid warning of unhandled message (backport #9884)#9885michaelklishin merged 1 commit intov3.12.xfrom
michaelklishin merged 1 commit intov3.12.xfrom
Commits
Commits on Nov 7, 2023
- authored andcommitted
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}