Cloning into 'gnulib'...
Checking out files:   1% (173/10555)   
Checking out files:   2% (212/10555)   
Checking out files:   3% (317/10555)   
Checking out files:   4% (423/10555)   
Checking out files:   4% (472/10555)   
Checking out files:   5% (528/10555)   
Checking out files:   6% (634/10555)   
Checking out files:   7% (739/10555)   
Checking out files:   7% (806/10555)   
Checking out files:   8% (845/10555)   
Checking out files:   9% (950/10555)   
Checking out files:  10% (1056/10555)   
Checking out files:  10% (1148/10555)   
Checking out files:  11% (1162/10555)   
Checking out files:  12% (1267/10555)   
Checking out files:  13% (1373/10555)   
Checking out files:  14% (1478/10555)   
Checking out files:  14% (1510/10555)   
Checking out files:  15% (1584/10555)   
Checking out files:  16% (1689/10555)   
Checking out files:  17% (1795/10555)   
Checking out files:  17% (1839/10555)   
Checking out files:  18% (1900/10555)   
Checking out files:  19% (2006/10555)   
Checking out files:  20% (2111/10555)   
Checking out files:  20% (2190/10555)   
Checking out files:  21% (2217/10555)   
Checking out files:  22% (2323/10555)   
Checking out files:  23% (2428/10555)   
Checking out files:  23% (2530/10555)   
Checking out files:  24% (2534/10555)   
Checking out files:  25% (2639/10555)   
Checking out files:  26% (2745/10555)   
Checking out files:  26% (2846/10555)   
Checking out files:  27% (2850/10555)   
Checking out files:  28% (2956/10555)   
Checking out files:  29% (3061/10555)   
Checking out files:  30% (3167/10555)   
Checking out files:  30% (3169/10555)   
Checking out files:  31% (3273/10555)   
Checking out files:  32% (3378/10555)   
Checking out files:  33% (3484/10555)   
Checking out files:  33% (3488/10555)   
Checking out files:  34% (3589/10555)   
Checking out files:  35% (3695/10555)   
Checking out files:  35% (3792/10555)   
Checking out files:  36% (3800/10555)   
Checking out files:  37% (3906/10555)   
Checking out files:  38% (4011/10555)   
Checking out files:  38% (4103/10555)   
Checking out files:  39% (4117/10555)   
Checking out files:  40% (4222/10555)   
Checking out files:  41% (4328/10555)   
Checking out files:  41% (4363/10555)   
Checking out files:  42% (4434/10555)   
Checking out files:  43% (4539/10555)   
Checking out files:  44% (4645/10555)   
Checking out files:  44% (4659/10555)   
Checking out files:  45% (4750/10555)   
Checking out files:  46% (4856/10555)   
Checking out files:  47% (4961/10555)   
Checking out files:  47% (4979/10555)   
Checking out files:  48% (5067/10555)   
Checking out files:  49% (5172/10555)   
Checking out files:  50% (5278/10555)   
Checking out files:  50% (5292/10555)   
Checking out files:  51% (5384/10555)   
Checking out files:  52% (5489/10555)   
Checking out files:  52% (5516/10555)   
Checking out files:  53% (5595/10555)   
Checking out files:  54% (5700/10555)   
Checking out files:  55% (5806/10555)   
Checking out files:  55% (5844/10555)   
Checking out files:  56% (5911/10555)   
Checking out files:  57% (6017/10555)   
Checking out files:  58% (6122/10555)   
Checking out files:  58% (6192/10555)   
Checking out files:  59% (6228/10555)   
Checking out files:  60% (6333/10555)   
Checking out files:  61% (6439/10555)   
Checking out files:  61% (6541/10555)   
Checking out files:  62% (6545/10555)   
Checking out files:  63% (6650/10555)   
Checking out files:  64% (6756/10555)   
Checking out files:  65% (6861/10555)   
Checking out files:  65% (6888/10555)   
Checking out files:  66% (6967/10555)   
Checking out files:  67% (7072/10555)   
Checking out files:  68% (7178/10555)   
Checking out files:  68% (7249/10555)   
Checking out files:  69% (7283/10555)   
Checking out files:  70% (7389/10555)   
Checking out files:  71% (7495/10555)   
Checking out files:  71% (7592/10555)   
Checking out files:  72% (7600/10555)   
Checking out files:  73% (7706/10555)   
Checking out files:  74% (7811/10555)   
Checking out files:  75% (7917/10555)   
Checking out files:  75% (7931/10555)   
Checking out files:  76% (8022/10555)   
Checking out files:  77% (8128/10555)   
Checking out files:  78% (8233/10555)   
Checking out files:  78% (8269/10555)   
Checking out files:  79% (8339/10555)   
Checking out files:  80% (8444/10555)   
Checking out files:  81% (8550/10555)   
Checking out files:  81% (8617/10555)   
Checking out files:  82% (8656/10555)   
Checking out files:  83% (8761/10555)   
Checking out files:  84% (8867/10555)   
Checking out files:  84% (8940/10555)   
Checking out files:  85% (8972/10555)   
Checking out files:  86% (9078/10555)   
Checking out files:  87% (9183/10555)   
Checking out files:  87% (9267/10555)   
Checking out files:  88% (9289/10555)   
Checking out files:  89% (9394/10555)   
Checking out files:  90% (9500/10555)   
Checking out files:  90% (9595/10555)   
Checking out files:  91% (9606/10555)   
Checking out files:  92% (9711/10555)   
Checking out files:  93% (9817/10555)   
Checking out files:  93% (9877/10555)   
Checking out files:  94% (9922/10555)   
Checking out files:  95% (10028/10555)   
Checking out files:  96% (10133/10555)   
Checking out files:  96% (10194/10555)   
Checking out files:  97% (10239/10555)   
Checking out files:  98% (10344/10555)   
Checking out files:  98% (10402/10555)   
Checking out files:  99% (10450/10555)   
Checking out files: 100% (10555/10555)   
Checking out files: 100% (10555/10555), done.