Skip to content

Merge pull request #10372 from jepler/old-style-definition #14942

Merge pull request #10372 from jepler/old-style-definition

Merge pull request #10372 from jepler/old-style-definition #14942

pre-commit

succeeded May 25, 2025 in 1m 34s