Commit 4f39ef05 authored by Phil Hughes's avatar Phil Hughes Committed by Clement Ho

Merge branch '33879-buttons-margin' into '9-3-stable'

Adds margin between buttons in CI header

See merge request !12302
parent bc0f3e59
Pipeline #9210127 failed with stages
in 119 minutes and 6 seconds