Gitlab has been updated. More info here and there.
d734fd01821eabd55378adb5c9f6b6e6a0dda826
1912 commits (guez@lmd.ens.fr)
9 commits (lionel guez)