Merge "Bug in updating 7.1 port-mapping data"
[transportpce.git] / .gitlint
2021-06-03 Guillaume LambertAdd and run some linters via tox and pre-commit 11/96411/3