Skip to content

Ensure that we also lint files from git submodules#3431

Merged
ssbarnea merged 1 commit intomainfrom fix/submodulesMay 17, 2023

Commits

Commits on May 17, 2023