Commit ffbf42ec authored by Bas Nijholt's avatar Bas Nijholt

apply suggestions I made in !5

!5
parent f1ea7b68
Pipeline #26331 passed with stage
in 23 seconds