Cloning into 'gnulib'...
Checking out files:   1% (222/11124)   
Checking out files:   2% (223/11124)   
Checking out files:   3% (334/11124)   
Checking out files:   4% (445/11124)   
Checking out files:   5% (557/11124)   
Checking out files:   5% (561/11124)   
Checking out files:   6% (668/11124)   
Checking out files:   7% (779/11124)   
Checking out files:   7% (887/11124)   
Checking out files:   8% (890/11124)   
Checking out files:   9% (1002/11124)   
Checking out files:  10% (1113/11124)   
Checking out files:  10% (1222/11124)   
Checking out files:  11% (1224/11124)   
Checking out files:  12% (1335/11124)   
Checking out files:  13% (1447/11124)   
Checking out files:  13% (1555/11124)   
Checking out files:  14% (1558/11124)   
Checking out files:  15% (1669/11124)   
Checking out files:  16% (1780/11124)   
Checking out files:  16% (1885/11124)   
Checking out files:  17% (1892/11124)   
Checking out files:  18% (2003/11124)   
Checking out files:  19% (2114/11124)   
Checking out files:  19% (2222/11124)   
Checking out files:  20% (2225/11124)   
Checking out files:  21% (2337/11124)   
Checking out files:  22% (2448/11124)   
Checking out files:  23% (2559/11124)   
Checking out files:  23% (2560/11124)   
Checking out files:  24% (2670/11124)   
Checking out files:  25% (2781/11124)   
Checking out files:  26% (2893/11124)   
Checking out files:  26% (2902/11124)   
Checking out files:  27% (3004/11124)   
Checking out files:  28% (3115/11124)   
Checking out files:  29% (3226/11124)   
Checking out files:  29% (3259/11124)   
Checking out files:  30% (3338/11124)   
Checking out files:  31% (3449/11124)   
Checking out files:  32% (3560/11124)   
Checking out files:  32% (3612/11124)   
Checking out files:  33% (3671/11124)   
Checking out files:  34% (3783/11124)   
Checking out files:  35% (3894/11124)   
Checking out files:  35% (3952/11124)   
Checking out files:  36% (4005/11124)   
Checking out files:  37% (4116/11124)   
Checking out files:  38% (4228/11124)   
Checking out files:  38% (4265/11124)   
Checking out files:  39% (4339/11124)   
Checking out files:  40% (4450/11124)   
Checking out files:  40% (4492/11124)   
Checking out files:  41% (4561/11124)   
Checking out files:  42% (4673/11124)   
Checking out files:  43% (4784/11124)   
Checking out files:  43% (4825/11124)   
Checking out files:  44% (4895/11124)   
Checking out files:  45% (5006/11124)   
Checking out files:  46% (5118/11124)   
Checking out files:  46% (5163/11124)   
Checking out files:  47% (5229/11124)   
Checking out files:  48% (5340/11124)   
Checking out files:  49% (5451/11124)   
Checking out files:  49% (5509/11124)   
Checking out files:  50% (5562/11124)   
Checking out files:  51% (5674/11124)   
Checking out files:  52% (5785/11124)   
Checking out files:  52% (5850/11124)   
Checking out files:  53% (5896/11124)   
Checking out files:  54% (6007/11124)   
Checking out files:  55% (6119/11124)   
Checking out files:  55% (6225/11124)   
Checking out files:  56% (6230/11124)   
Checking out files:  57% (6341/11124)   
Checking out files:  58% (6452/11124)   
Checking out files:  59% (6564/11124)   
Checking out files:  59% (6593/11124)   
Checking out files:  60% (6675/11124)   
Checking out files:  61% (6786/11124)   
Checking out files:  62% (6897/11124)   
Checking out files:  62% (6954/11124)   
Checking out files:  63% (7009/11124)   
Checking out files:  64% (7120/11124)   
Checking out files:  65% (7231/11124)   
Checking out files:  65% (7325/11124)   
Checking out files:  66% (7342/11124)   
Checking out files:  67% (7454/11124)   
Checking out files:  68% (7565/11124)   
Checking out files:  68% (7670/11124)   
Checking out files:  69% (7676/11124)   
Checking out files:  70% (7787/11124)   
Checking out files:  71% (7899/11124)   
Checking out files:  72% (8010/11124)   
Checking out files:  72% (8041/11124)   
Checking out files:  73% (8121/11124)   
Checking out files:  74% (8232/11124)   
Checking out files:  75% (8343/11124)   
Checking out files:  75% (8427/11124)   
Checking out files:  76% (8455/11124)   
Checking out files:  77% (8566/11124)   
Checking out files:  78% (8677/11124)   
Checking out files:  79% (8788/11124)   
Checking out files:  79% (8821/11124)   
Checking out files:  80% (8900/11124)   
Checking out files:  81% (9011/11124)   
Checking out files:  81% (9119/11124)   
Checking out files:  82% (9122/11124)   
Checking out files:  83% (9233/11124)   
Checking out files:  84% (9345/11124)   
Checking out files:  85% (9456/11124)   
Checking out files:  85% (9463/11124)   
Checking out files:  86% (9567/11124)   
Checking out files:  87% (9678/11124)   
Checking out files:  88% (9790/11124)   
Checking out files:  88% (9823/11124)   
Checking out files:  89% (9901/11124)   
Checking out files:  90% (10012/11124)   
Checking out files:  91% (10123/11124)   
Checking out files:  91% (10182/11124)   
Checking out files:  92% (10235/11124)   
Checking out files:  93% (10346/11124)   
Checking out files:  94% (10457/11124)   
Checking out files:  94% (10522/11124)   
Checking out files:  95% (10568/11124)   
Checking out files:  96% (10680/11124)   
Checking out files:  97% (10791/11124)   
Checking out files:  97% (10874/11124)   
Checking out files:  98% (10902/11124)   
Checking out files:  99% (11013/11124)   
Checking out files: 100% (11124/11124)   
Checking out files: 100% (11124/11124), done.