Commit a3ee5822 authored by Enriko Käsper's avatar Enriko Käsper

Merge branch 'develop' into 'master'

Release: merge 'develop' into 'master' created by Enriko Käsper

See merge request teis/commons!67
parents b84a063f a6dcf75d
Pipeline #390 failed