mathlib
fbfef5a1 - fix(.github/CODEOWNERS): disable catch-all pattern for now (#16892)

Commit

3 years ago

fix(.github/CODEOWNERS): disable catch-all pattern for now (#16892)

Author

jcommelin

jcommelin

Parents

Loading