Gitlab has been updated. More info here.
cdc3eb03311ff17d191811de007dd007d63e01d5
1 commit (jan.polcher@lmd.jussieu.fr)