I changed Theme to Farbschema too, so this MR makes !129 (closed) obsolete.
Checking pipeline status.
Merge details
Pipeline #233 passed
Pipeline passed for b1ddaf91 on develop 7 years ago
merged
mentioned in commit b1ddaf91