Cloning into 'gnulib'...
Checking out files:   1% (209/11117)   
Checking out files:   2% (223/11117)   
Checking out files:   3% (334/11117)   
Checking out files:   4% (445/11117)   
Checking out files:   4% (537/11117)   
Checking out files:   5% (556/11117)   
Checking out files:   6% (668/11117)   
Checking out files:   7% (779/11117)   
Checking out files:   7% (878/11117)   
Checking out files:   8% (890/11117)   
Checking out files:   9% (1001/11117)   
Checking out files:  10% (1112/11117)   
Checking out files:  11% (1223/11117)   
Checking out files:  11% (1229/11117)   
Checking out files:  12% (1335/11117)   
Checking out files:  13% (1446/11117)   
Checking out files:  14% (1557/11117)   
Checking out files:  14% (1569/11117)   
Checking out files:  15% (1668/11117)   
Checking out files:  16% (1779/11117)   
Checking out files:  16% (1868/11117)   
Checking out files:  17% (1890/11117)   
Checking out files:  18% (2002/11117)   
Checking out files:  19% (2113/11117)   
Checking out files:  19% (2219/11117)   
Checking out files:  20% (2224/11117)   
Checking out files:  21% (2335/11117)   
Checking out files:  22% (2446/11117)   
Checking out files:  22% (2547/11117)   
Checking out files:  23% (2557/11117)   
Checking out files:  24% (2669/11117)   
Checking out files:  25% (2780/11117)   
Checking out files:  25% (2868/11117)   
Checking out files:  26% (2891/11117)   
Checking out files:  27% (3002/11117)   
Checking out files:  28% (3113/11117)   
Checking out files:  28% (3186/11117)   
Checking out files:  29% (3224/11117)   
Checking out files:  30% (3336/11117)   
Checking out files:  31% (3447/11117)   
Checking out files:  31% (3481/11117)   
Checking out files:  32% (3558/11117)   
Checking out files:  33% (3669/11117)   
Checking out files:  34% (3780/11117)   
Checking out files:  34% (3797/11117)   
Checking out files:  35% (3891/11117)   
Checking out files:  36% (4003/11117)   
Checking out files:  37% (4114/11117)   
Checking out files:  37% (4125/11117)   
Checking out files:  38% (4225/11117)   
Checking out files:  39% (4336/11117)   
Checking out files:  39% (4414/11117)   
Checking out files:  40% (4447/11117)   
Checking out files:  41% (4558/11117)   
Checking out files:  41% (4651/11117)   
Checking out files:  42% (4670/11117)   
Checking out files:  43% (4781/11117)   
Checking out files:  44% (4892/11117)   
Checking out files:  44% (4947/11117)   
Checking out files:  45% (5003/11117)   
Checking out files:  46% (5114/11117)   
Checking out files:  46% (5146/11117)   
Checking out files:  47% (5225/11117)   
Checking out files:  48% (5337/11117)   
Checking out files:  48% (5417/11117)   
Checking out files:  49% (5448/11117)   
Checking out files:  50% (5559/11117)   
Checking out files:  51% (5670/11117)   
Checking out files:  51% (5710/11117)   
Checking out files:  52% (5781/11117)   
Checking out files:  53% (5893/11117)   
Checking out files:  54% (6004/11117)   
Checking out files:  54% (6050/11117)   
Checking out files:  55% (6115/11117)   
Checking out files:  56% (6226/11117)   
Checking out files:  57% (6337/11117)   
Checking out files:  57% (6404/11117)   
Checking out files:  58% (6448/11117)   
Checking out files:  59% (6560/11117)   
Checking out files:  60% (6671/11117)   
Checking out files:  60% (6771/11117)   
Checking out files:  61% (6782/11117)   
Checking out files:  62% (6893/11117)   
Checking out files:  63% (7004/11117)   
Checking out files:  64% (7115/11117)   
Checking out files:  64% (7148/11117)   
Checking out files:  65% (7227/11117)   
Checking out files:  66% (7338/11117)   
Checking out files:  67% (7449/11117)   
Checking out files:  67% (7524/11117)   
Checking out files:  68% (7560/11117)   
Checking out files:  69% (7671/11117)   
Checking out files:  70% (7782/11117)   
Checking out files:  71% (7894/11117)   
Checking out files:  71% (7898/11117)   
Checking out files:  72% (8005/11117)   
Checking out files:  73% (8116/11117)   
Checking out files:  74% (8227/11117)   
Checking out files:  74% (8276/11117)   
Checking out files:  75% (8338/11117)   
Checking out files:  76% (8449/11117)   
Checking out files:  77% (8561/11117)   
Checking out files:  77% (8608/11117)   
Checking out files:  78% (8672/11117)   
Checking out files:  79% (8783/11117)   
Checking out files:  80% (8894/11117)   
Checking out files:  80% (8918/11117)   
Checking out files:  81% (9005/11117)   
Checking out files:  82% (9116/11117)   
Checking out files:  83% (9228/11117)   
Checking out files:  83% (9243/11117)   
Checking out files:  84% (9339/11117)   
Checking out files:  85% (9450/11117)   
Checking out files:  86% (9561/11117)   
Checking out files:  86% (9575/11117)   
Checking out files:  87% (9672/11117)   
Checking out files:  88% (9783/11117)   
Checking out files:  89% (9895/11117)   
Checking out files:  89% (9925/11117)   
Checking out files:  90% (10006/11117)   
Checking out files:  91% (10117/11117)   
Checking out files:  92% (10228/11117)   
Checking out files:  92% (10249/11117)   
Checking out files:  93% (10339/11117)   
Checking out files:  94% (10450/11117)   
Checking out files:  95% (10562/11117)   
Checking out files:  95% (10587/11117)   
Checking out files:  96% (10673/11117)   
Checking out files:  97% (10784/11117)   
Checking out files:  97% (10870/11117)   
Checking out files:  98% (10895/11117)   
Checking out files:  99% (11006/11117)   
Checking out files: 100% (11117/11117)   
Checking out files: 100% (11117/11117), done.