Shortern boilerplate for singledispatch
#882
Merged
Mergify / Rule: automatic merge on CI success and review (queue)
succeeded
Aug 30, 2023 in 0s
The pull request has been merged automatically
The pull request has been merged automatically at e0af0a2
Loading