Commit 3950e72f authored by Vivien Kraus's avatar Vivien Kraus
Browse files

Do not pull the gnulib repo at every git-check

parent 866229e4
Pipeline #173670 passed with stages
in 28 minutes and 13 seconds