Commit e23dae59 authored by ng's avatar ng

Merge branch 'no-master-but-main' into 'main'

No master, but main

See merge request !104
parents cbce0b1b c712513d
Pipeline #56187 passed with stages
in 1 minute and 20 seconds