Cloning into 'gnulib'...
Checking out files:   2% (239/11434)   
Checking out files:   3% (344/11434)   
Checking out files:   4% (458/11434)   
Checking out files:   5% (572/11434)   
Checking out files:   5% (610/11434)   
Checking out files:   6% (687/11434)   
Checking out files:   7% (801/11434)   
Checking out files:   8% (915/11434)   
Checking out files:   8% (962/11434)   
Checking out files:   9% (1030/11434)   
Checking out files:  10% (1144/11434)   
Checking out files:  11% (1258/11434)   
Checking out files:  11% (1336/11434)   
Checking out files:  12% (1373/11434)   
Checking out files:  13% (1487/11434)   
Checking out files:  14% (1601/11434)   
Checking out files:  15% (1716/11434)   
Checking out files:  15% (1743/11434)   
Checking out files:  16% (1830/11434)   
Checking out files:  17% (1944/11434)   
Checking out files:  18% (2059/11434)   
Checking out files:  18% (2138/11434)   
Checking out files:  19% (2173/11434)   
Checking out files:  20% (2287/11434)   
Checking out files:  21% (2402/11434)   
Checking out files:  22% (2516/11434)   
Checking out files:  22% (2534/11434)   
Checking out files:  23% (2630/11434)   
Checking out files:  24% (2745/11434)   
Checking out files:  25% (2859/11434)   
Checking out files:  25% (2902/11434)   
Checking out files:  26% (2973/11434)   
Checking out files:  27% (3088/11434)   
Checking out files:  28% (3202/11434)   
Checking out files:  28% (3241/11434)   
Checking out files:  29% (3316/11434)   
Checking out files:  30% (3431/11434)   
Checking out files:  31% (3545/11434)   
Checking out files:  31% (3619/11434)   
Checking out files:  32% (3659/11434)   
Checking out files:  33% (3774/11434)   
Checking out files:  34% (3888/11434)   
Checking out files:  34% (3996/11434)   
Checking out files:  35% (4002/11434)   
Checking out files:  36% (4117/11434)   
Checking out files:  37% (4231/11434)   
Checking out files:  38% (4345/11434)   
Checking out files:  38% (4363/11434)   
Checking out files:  39% (4460/11434)   
Checking out files:  40% (4574/11434)   
Checking out files:  40% (4633/11434)   
Checking out files:  41% (4688/11434)   
Checking out files:  42% (4803/11434)   
Checking out files:  43% (4917/11434)   
Checking out files:  43% (4970/11434)   
Checking out files:  44% (5031/11434)   
Checking out files:  45% (5146/11434)   
Checking out files:  45% (5205/11434)   
Checking out files:  46% (5260/11434)   
Checking out files:  47% (5374/11434)   
Checking out files:  48% (5489/11434)   
Checking out files:  48% (5571/11434)   
Checking out files:  49% (5603/11434)   
Checking out files:  50% (5717/11434)   
Checking out files:  51% (5832/11434)   
Checking out files:  52% (5946/11434)   
Checking out files:  52% (5949/11434)   
Checking out files:  53% (6061/11434)   
Checking out files:  54% (6175/11434)   
Checking out files:  55% (6289/11434)   
Checking out files:  55% (6312/11434)   
Checking out files:  56% (6404/11434)   
Checking out files:  57% (6518/11434)   
Checking out files:  58% (6632/11434)   
Checking out files:  58% (6730/11434)   
Checking out files:  59% (6747/11434)   
Checking out files:  60% (6861/11434)   
Checking out files:  61% (6975/11434)   
Checking out files:  62% (7090/11434)   
Checking out files:  62% (7141/11434)   
Checking out files:  63% (7204/11434)   
Checking out files:  64% (7318/11434)   
Checking out files:  65% (7433/11434)   
Checking out files:  66% (7547/11434)   
Checking out files:  66% (7558/11434)   
Checking out files:  67% (7661/11434)   
Checking out files:  68% (7776/11434)   
Checking out files:  69% (7890/11434)   
Checking out files:  69% (7935/11434)   
Checking out files:  70% (8004/11434)   
Checking out files:  71% (8119/11434)   
Checking out files:  72% (8233/11434)   
Checking out files:  72% (8326/11434)   
Checking out files:  73% (8347/11434)   
Checking out files:  74% (8462/11434)   
Checking out files:  75% (8576/11434)   
Checking out files:  76% (8690/11434)   
Checking out files:  76% (8740/11434)   
Checking out files:  77% (8805/11434)   
Checking out files:  78% (8919/11434)   
Checking out files:  79% (9033/11434)   
Checking out files:  79% (9131/11434)   
Checking out files:  80% (9148/11434)   
Checking out files:  81% (9262/11434)   
Checking out files:  82% (9376/11434)   
Checking out files:  83% (9491/11434)   
Checking out files:  83% (9518/11434)   
Checking out files:  84% (9605/11434)   
Checking out files:  85% (9719/11434)   
Checking out files:  86% (9834/11434)   
Checking out files:  86% (9907/11434)   
Checking out files:  87% (9948/11434)   
Checking out files:  88% (10062/11434)   
Checking out files:  89% (10177/11434)   
Checking out files:  90% (10291/11434)   
Checking out files:  90% (10311/11434)   
Checking out files:  91% (10405/11434)   
Checking out files:  92% (10520/11434)   
Checking out files:  93% (10634/11434)   
Checking out files:  93% (10693/11434)   
Checking out files:  94% (10748/11434)   
Checking out files:  95% (10863/11434)   
Checking out files:  96% (10977/11434)   
Checking out files:  96% (11070/11434)   
Checking out files:  97% (11091/11434)   
Checking out files:  98% (11206/11434)   
Checking out files:  99% (11320/11434)   
Checking out files:  99% (11336/11434)   
Checking out files: 100% (11434/11434)   
Checking out files: 100% (11434/11434), done.