Skip to content

[pre-commit.ci] pre-commit suggestions#11293

Merged
glenn-jocher merged 1 commit intomasterfrom pre-commit-ci-update-configApr 4, 2023

Commits

Commits on Apr 3, 2023