Commit 8f7fd981a6d61cc7622afb08c3d01ba3b4e2b487

Patrick Steinhardt 2019-08-01T13:35:27

Merge pull request #5183 from pks-t/pks/editorconfig editorconfig: update to match our coding style