Cloning into 'gnulib'...
Checking out files:   1% (166/12389)   
Checking out files:   2% (248/12389)   
Checking out files:   3% (372/12389)   
Checking out files:   3% (479/12389)   
Checking out files:   4% (496/12389)   
Checking out files:   5% (620/12389)   
Checking out files:   6% (744/12389)   
Checking out files:   7% (868/12389)   
Checking out files:   7% (883/12389)   
Checking out files:   8% (992/12389)   
Checking out files:   9% (1116/12389)   
Checking out files:  10% (1239/12389)   
Checking out files:  10% (1294/12389)   
Checking out files:  11% (1363/12389)   
Checking out files:  12% (1487/12389)   
Checking out files:  13% (1611/12389)   
Checking out files:  13% (1718/12389)   
Checking out files:  14% (1735/12389)   
Checking out files:  15% (1859/12389)   
Checking out files:  16% (1983/12389)   
Checking out files:  17% (2107/12389)   
Checking out files:  17% (2129/12389)   
Checking out files:  18% (2231/12389)   
Checking out files:  19% (2354/12389)   
Checking out files:  20% (2478/12389)   
Checking out files:  20% (2529/12389)   
Checking out files:  21% (2602/12389)   
Checking out files:  22% (2726/12389)   
Checking out files:  23% (2850/12389)   
Checking out files:  23% (2910/12389)   
Checking out files:  24% (2974/12389)   
Checking out files:  25% (3098/12389)   
Checking out files:  26% (3222/12389)   
Checking out files:  26% (3293/12389)   
Checking out files:  27% (3346/12389)   
Checking out files:  28% (3469/12389)   
Checking out files:  29% (3593/12389)   
Checking out files:  29% (3685/12389)   
Checking out files:  30% (3717/12389)   
Checking out files:  31% (3841/12389)   
Checking out files:  32% (3965/12389)   
Checking out files:  32% (4049/12389)   
Checking out files:  33% (4089/12389)   
Checking out files:  34% (4213/12389)   
Checking out files:  35% (4337/12389)   
Checking out files:  35% (4425/12389)   
Checking out files:  36% (4461/12389)   
Checking out files:  37% (4584/12389)   
Checking out files:  38% (4708/12389)   
Checking out files:  38% (4770/12389)   
Checking out files:  39% (4832/12389)   
Checking out files:  40% (4956/12389)   
Checking out files:  40% (5053/12389)   
Checking out files:  41% (5080/12389)   
Checking out files:  42% (5204/12389)   
Checking out files:  43% (5328/12389)   
Checking out files:  43% (5427/12389)   
Checking out files:  44% (5452/12389)   
Checking out files:  45% (5576/12389)   
Checking out files:  46% (5699/12389)   
Checking out files:  46% (5798/12389)   
Checking out files:  47% (5823/12389)   
Checking out files:  48% (5947/12389)   
Checking out files:  49% (6071/12389)   
Checking out files:  50% (6195/12389)   
Checking out files:  50% (6206/12389)   
Checking out files:  51% (6319/12389)   
Checking out files:  52% (6443/12389)   
Checking out files:  53% (6567/12389)   
Checking out files:  53% (6635/12389)   
Checking out files:  54% (6691/12389)   
Checking out files:  55% (6814/12389)   
Checking out files:  56% (6938/12389)   
Checking out files:  56% (7032/12389)   
Checking out files:  57% (7062/12389)   
Checking out files:  58% (7186/12389)   
Checking out files:  59% (7310/12389)   
Checking out files:  60% (7434/12389)   
Checking out files:  60% (7443/12389)   
Checking out files:  61% (7558/12389)   
Checking out files:  62% (7682/12389)   
Checking out files:  63% (7806/12389)   
Checking out files:  63% (7870/12389)   
Checking out files:  64% (7929/12389)   
Checking out files:  65% (8053/12389)   
Checking out files:  66% (8177/12389)   
Checking out files:  66% (8228/12389)   
Checking out files:  67% (8301/12389)   
Checking out files:  68% (8425/12389)   
Checking out files:  69% (8549/12389)   
Checking out files:  69% (8601/12389)   
Checking out files:  70% (8673/12389)   
Checking out files:  71% (8797/12389)   
Checking out files:  72% (8921/12389)   
Checking out files:  72% (9013/12389)   
Checking out files:  73% (9044/12389)   
Checking out files:  74% (9168/12389)   
Checking out files:  75% (9292/12389)   
Checking out files:  76% (9416/12389)   
Checking out files:  76% (9422/12389)   
Checking out files:  77% (9540/12389)   
Checking out files:  78% (9664/12389)   
Checking out files:  78% (9700/12389)   
Checking out files:  79% (9788/12389)   
Checking out files:  80% (9912/12389)   
Checking out files:  81% (10036/12389)   
Checking out files:  81% (10097/12389)   
Checking out files:  82% (10159/12389)   
Checking out files:  83% (10283/12389)   
Checking out files:  84% (10407/12389)   
Checking out files:  84% (10483/12389)   
Checking out files:  85% (10531/12389)   
Checking out files:  86% (10655/12389)   
Checking out files:  87% (10779/12389)   
Checking out files:  87% (10870/12389)   
Checking out files:  88% (10903/12389)   
Checking out files:  89% (11027/12389)   
Checking out files:  90% (11151/12389)   
Checking out files:  90% (11269/12389)   
Checking out files:  91% (11274/12389)   
Checking out files:  92% (11398/12389)   
Checking out files:  93% (11522/12389)   
Checking out files:  94% (11646/12389)   
Checking out files:  94% (11647/12389)   
Checking out files:  95% (11770/12389)   
Checking out files:  96% (11894/12389)   
Checking out files:  96% (11940/12389)   
Checking out files:  97% (12018/12389)   
Checking out files:  97% (12122/12389)   
Checking out files:  98% (12142/12389)   
Checking out files:  99% (12266/12389)   
Checking out files: 100% (12389/12389)   
Checking out files: 100% (12389/12389), done.