revert: "switch to python 3.8 (#4239)" #4317
Merged
Mergify / Rule: Synchronize that PR to upstream and merge it (squash) (queue)
succeeded
Nov 6, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at 90ce1da
Loading