Skip to content
GitLab

Bump the linter git hash

Merged John Ericson requested to merge wip/bump-linters into master

This should at least get us the new and improved submodchecker, but possibly other changes too.

Merge request reports