Skip to content

GitLab

Commit 4124a129 authored by Ondřej Surý's avatar Ondřej Surý
Browse files

Merge branch '1950-placeholder' into 'master' 

Add CHANGES placeholder for #1950

Closes #1950

See merge request !3705
parents 2473e3b2 a0fbe462
Pipeline #44577 passed with stages
in 5 minutes and 29 seconds