Revision ff82d34d12709484d714c142d21b6cca1b982662

Committed on 17/12/2019 5:52 am by Andreas Möller <am@localheinz.com> [GitHub Diff]

Fix: Aggregate badges in one place (#1866)