ae4602
Merge branch 'cboltz-wiki-de' into 'production' switch de.o.o to MediaWiki 1.37 See merge request infra/salt!547