Merge pull request 'Run statix' (!54) from statix into main
Reviewed-on: #54 Reviewed-by: Daniel Lovbrotte Olsen <danio@pvv.ntnu.no>
This commit was merged in pull request #54.
This commit is contained in:
Reviewed-on: #54 Reviewed-by: Daniel Lovbrotte Olsen <danio@pvv.ntnu.no>