Cloning into 'gnulib'...
Checking out files:   2% (277/10472)   
Checking out files:   3% (315/10472)   
Checking out files:   4% (419/10472)   
Checking out files:   5% (524/10472)   
Checking out files:   6% (629/10472)   
Checking out files:   6% (680/10472)   
Checking out files:   7% (734/10472)   
Checking out files:   8% (838/10472)   
Checking out files:   9% (943/10472)   
Checking out files:  10% (1048/10472)   
Checking out files:  10% (1081/10472)   
Checking out files:  11% (1152/10472)   
Checking out files:  12% (1257/10472)   
Checking out files:  13% (1362/10472)   
Checking out files:  14% (1467/10472)   
Checking out files:  14% (1495/10472)   
Checking out files:  15% (1571/10472)   
Checking out files:  16% (1676/10472)   
Checking out files:  17% (1781/10472)   
Checking out files:  18% (1885/10472)   
Checking out files:  18% (1906/10472)   
Checking out files:  19% (1990/10472)   
Checking out files:  20% (2095/10472)   
Checking out files:  21% (2200/10472)   
Checking out files:  22% (2304/10472)   
Checking out files:  22% (2320/10472)   
Checking out files:  23% (2409/10472)   
Checking out files:  24% (2514/10472)   
Checking out files:  25% (2618/10472)   
Checking out files:  25% (2711/10472)   
Checking out files:  26% (2723/10472)   
Checking out files:  27% (2828/10472)   
Checking out files:  28% (2933/10472)   
Checking out files:  29% (3037/10472)   
Checking out files:  29% (3098/10472)   
Checking out files:  30% (3142/10472)   
Checking out files:  31% (3247/10472)   
Checking out files:  32% (3352/10472)   
Checking out files:  33% (3456/10472)   
Checking out files:  33% (3486/10472)   
Checking out files:  34% (3561/10472)   
Checking out files:  35% (3666/10472)   
Checking out files:  36% (3770/10472)   
Checking out files:  36% (3870/10472)   
Checking out files:  37% (3875/10472)   
Checking out files:  38% (3980/10472)   
Checking out files:  39% (4085/10472)   
Checking out files:  40% (4189/10472)   
Checking out files:  40% (4268/10472)   
Checking out files:  41% (4294/10472)   
Checking out files:  42% (4399/10472)   
Checking out files:  43% (4503/10472)   
Checking out files:  43% (4595/10472)   
Checking out files:  44% (4608/10472)   
Checking out files:  45% (4713/10472)   
Checking out files:  46% (4818/10472)   
Checking out files:  47% (4922/10472)   
Checking out files:  47% (4991/10472)   
Checking out files:  48% (5027/10472)   
Checking out files:  49% (5132/10472)   
Checking out files:  50% (5236/10472)   
Checking out files:  51% (5341/10472)   
Checking out files:  51% (5394/10472)   
Checking out files:  52% (5446/10472)   
Checking out files:  53% (5551/10472)   
Checking out files:  54% (5655/10472)   
Checking out files:  55% (5760/10472)   
Checking out files:  55% (5815/10472)   
Checking out files:  56% (5865/10472)   
Checking out files:  57% (5970/10472)   
Checking out files:  58% (6074/10472)   
Checking out files:  59% (6179/10472)   
Checking out files:  59% (6247/10472)   
Checking out files:  60% (6284/10472)   
Checking out files:  61% (6388/10472)   
Checking out files:  62% (6493/10472)   
Checking out files:  63% (6598/10472)   
Checking out files:  63% (6681/10472)   
Checking out files:  64% (6703/10472)   
Checking out files:  65% (6807/10472)   
Checking out files:  66% (6912/10472)   
Checking out files:  67% (7017/10472)   
Checking out files:  67% (7116/10472)   
Checking out files:  68% (7121/10472)   
Checking out files:  69% (7226/10472)   
Checking out files:  70% (7331/10472)   
Checking out files:  71% (7436/10472)   
Checking out files:  72% (7540/10472)   
Checking out files:  72% (7542/10472)   
Checking out files:  73% (7645/10472)   
Checking out files:  74% (7750/10472)   
Checking out files:  75% (7854/10472)   
Checking out files:  76% (7959/10472)   
Checking out files:  76% (7975/10472)   
Checking out files:  77% (8064/10472)   
Checking out files:  78% (8169/10472)   
Checking out files:  79% (8273/10472)   
Checking out files:  79% (8347/10472)   
Checking out files:  80% (8378/10472)   
Checking out files:  81% (8483/10472)   
Checking out files:  82% (8588/10472)   
Checking out files:  83% (8692/10472)   
Checking out files:  83% (8749/10472)   
Checking out files:  84% (8797/10472)   
Checking out files:  85% (8902/10472)   
Checking out files:  86% (9006/10472)   
Checking out files:  87% (9111/10472)   
Checking out files:  87% (9148/10472)   
Checking out files:  88% (9216/10472)   
Checking out files:  89% (9321/10472)   
Checking out files:  90% (9425/10472)   
Checking out files:  91% (9530/10472)   
Checking out files:  91% (9556/10472)   
Checking out files:  92% (9635/10472)   
Checking out files:  93% (9739/10472)   
Checking out files:  94% (9844/10472)   
Checking out files:  95% (9949/10472)   
Checking out files:  95% (9952/10472)   
Checking out files:  96% (10054/10472)   
Checking out files:  97% (10158/10472)   
Checking out files:  97% (10248/10472)   
Checking out files:  98% (10263/10472)   
Checking out files:  99% (10368/10472)   
Checking out files: 100% (10472/10472)   
Checking out files: 100% (10472/10472), done.