Skip to content
Commit 4e7fac57 authored by Marius Burkard's avatar Marius Burkard
Browse files

Merge branch 'patch-misc' into 'stable-3.1' 

Patch misc

See merge request !920
parents 0c498249 d77b1219
Pipeline #1779 passed with stage
in 2 minutes and 38 seconds