Commit cb5715d3 authored by Heinrich Schindler's avatar Heinrich Schindler
Browse files

Merge branch 'magboltz-11-13' into 'master'

Magboltz 11.13

See merge request !250
parents 02a3fde8 245ddb85
Pipeline #3161417 passed with stage
in 6 minutes and 11 seconds