Commit a1f57c89 authored Jun 23, 2020 by Andreas Klöckner

Merge branch 'editorconfig' into 'master'

June monster maintenance

See merge request !45