Adapt to minor API change for 9.6.4 compatibility #3929
Merged
Mergify / Rule: Automatically merge pull requests (queue)
succeeded
Jan 8, 2024 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at f4df1aa
Loading