Added detailled information about banner sizes in the maschinenraum documentation.
Merge details
Pipeline #3820 passed
Pipeline passed for ed589fcb on master 4 years ago
merged
mentioned in commit ed589fcb