Cloning into 'gnulib'...
Checking out files:   1% (230/11943)   
Checking out files:   2% (239/11943)   
Checking out files:   3% (359/11943)   
Checking out files:   4% (478/11943)   
Checking out files:   4% (592/11943)   
Checking out files:   5% (598/11943)   
Checking out files:   6% (717/11943)   
Checking out files:   7% (837/11943)   
Checking out files:   7% (914/11943)   
Checking out files:   8% (956/11943)   
Checking out files:   9% (1075/11943)   
Checking out files:  10% (1195/11943)   
Checking out files:  10% (1257/11943)   
Checking out files:  11% (1314/11943)   
Checking out files:  12% (1434/11943)   
Checking out files:  13% (1553/11943)   
Checking out files:  13% (1599/11943)   
Checking out files:  14% (1673/11943)   
Checking out files:  15% (1792/11943)   
Checking out files:  16% (1911/11943)   
Checking out files:  16% (1969/11943)   
Checking out files:  17% (2031/11943)   
Checking out files:  18% (2150/11943)   
Checking out files:  19% (2270/11943)   
Checking out files:  19% (2350/11943)   
Checking out files:  20% (2389/11943)   
Checking out files:  21% (2509/11943)   
Checking out files:  22% (2628/11943)   
Checking out files:  22% (2732/11943)   
Checking out files:  23% (2747/11943)   
Checking out files:  24% (2867/11943)   
Checking out files:  25% (2986/11943)   
Checking out files:  25% (3088/11943)   
Checking out files:  26% (3106/11943)   
Checking out files:  27% (3225/11943)   
Checking out files:  28% (3345/11943)   
Checking out files:  28% (3443/11943)   
Checking out files:  29% (3464/11943)   
Checking out files:  30% (3583/11943)   
Checking out files:  31% (3703/11943)   
Checking out files:  31% (3775/11943)   
Checking out files:  32% (3822/11943)   
Checking out files:  33% (3942/11943)   
Checking out files:  34% (4061/11943)   
Checking out files:  34% (4098/11943)   
Checking out files:  35% (4181/11943)   
Checking out files:  36% (4300/11943)   
Checking out files:  37% (4419/11943)   
Checking out files:  37% (4446/11943)   
Checking out files:  38% (4539/11943)   
Checking out files:  39% (4658/11943)   
Checking out files:  39% (4740/11943)   
Checking out files:  40% (4778/11943)   
Checking out files:  41% (4897/11943)   
Checking out files:  41% (4978/11943)   
Checking out files:  42% (5017/11943)   
Checking out files:  43% (5136/11943)   
Checking out files:  44% (5255/11943)   
Checking out files:  44% (5269/11943)   
Checking out files:  45% (5375/11943)   
Checking out files:  46% (5494/11943)   
Checking out files:  46% (5603/11943)   
Checking out files:  47% (5614/11943)   
Checking out files:  48% (5733/11943)   
Checking out files:  49% (5853/11943)   
Checking out files:  49% (5966/11943)   
Checking out files:  50% (5972/11943)   
Checking out files:  51% (6091/11943)   
Checking out files:  52% (6211/11943)   
Checking out files:  53% (6330/11943)   
Checking out files:  53% (6351/11943)   
Checking out files:  54% (6450/11943)   
Checking out files:  55% (6569/11943)   
Checking out files:  56% (6689/11943)   
Checking out files:  56% (6697/11943)   
Checking out files:  57% (6808/11943)   
Checking out files:  58% (6927/11943)   
Checking out files:  59% (7047/11943)   
Checking out files:  59% (7096/11943)   
Checking out files:  60% (7166/11943)   
Checking out files:  61% (7286/11943)   
Checking out files:  62% (7405/11943)   
Checking out files:  62% (7483/11943)   
Checking out files:  63% (7525/11943)   
Checking out files:  64% (7644/11943)   
Checking out files:  65% (7763/11943)   
Checking out files:  65% (7880/11943)   
Checking out files:  66% (7883/11943)   
Checking out files:  67% (8002/11943)   
Checking out files:  68% (8122/11943)   
Checking out files:  68% (8168/11943)   
Checking out files:  69% (8241/11943)   
Checking out files:  70% (8361/11943)   
Checking out files:  71% (8480/11943)   
Checking out files:  71% (8533/11943)   
Checking out files:  72% (8599/11943)   
Checking out files:  73% (8719/11943)   
Checking out files:  74% (8838/11943)   
Checking out files:  74% (8920/11943)   
Checking out files:  75% (8958/11943)   
Checking out files:  76% (9077/11943)   
Checking out files:  77% (9197/11943)   
Checking out files:  77% (9240/11943)   
Checking out files:  78% (9316/11943)   
Checking out files:  79% (9435/11943)   
Checking out files:  79% (9515/11943)   
Checking out files:  80% (9555/11943)   
Checking out files:  81% (9674/11943)   
Checking out files:  81% (9706/11943)   
Checking out files:  82% (9794/11943)   
Checking out files:  83% (9913/11943)   
Checking out files:  84% (10033/11943)   
Checking out files:  84% (10038/11943)   
Checking out files:  85% (10152/11943)   
Checking out files:  86% (10271/11943)   
Checking out files:  86% (10272/11943)   
Checking out files:  87% (10391/11943)   
Checking out files:  88% (10510/11943)   
Checking out files:  88% (10620/11943)   
Checking out files:  89% (10630/11943)   
Checking out files:  90% (10749/11943)   
Checking out files:  91% (10869/11943)   
Checking out files:  91% (10983/11943)   
Checking out files:  92% (10988/11943)   
Checking out files:  92% (11077/11943)   
Checking out files:  93% (11107/11943)   
Checking out files:  94% (11227/11943)   
Checking out files:  95% (11346/11943)   
Checking out files:  95% (11381/11943)   
Checking out files:  96% (11466/11943)   
Checking out files:  97% (11585/11943)   
Checking out files:  97% (11685/11943)   
Checking out files:  98% (11705/11943)   
Checking out files:  99% (11824/11943)   
Checking out files:  99% (11942/11943)   
Checking out files: 100% (11943/11943)   
Checking out files: 100% (11943/11943), done.