Any reason this isn't merged to master?
Yes. Our GitLab instance was down from 6 June to 12 June due to hardware failures.
Status changed to merged
