Cloning into 'gnulib'...
Checking out files:   1% (192/11233)   
Checking out files:   2% (225/11233)   
Checking out files:   3% (337/11233)   
Checking out files:   4% (450/11233)   
Checking out files:   4% (519/11233)   
Checking out files:   5% (562/11233)   
Checking out files:   6% (674/11233)   
Checking out files:   7% (787/11233)   
Checking out files:   7% (852/11233)   
Checking out files:   8% (899/11233)   
Checking out files:   9% (1011/11233)   
Checking out files:  10% (1124/11233)   
Checking out files:  10% (1146/11233)   
Checking out files:  11% (1236/11233)   
Checking out files:  12% (1348/11233)   
Checking out files:  13% (1461/11233)   
Checking out files:  13% (1481/11233)   
Checking out files:  14% (1573/11233)   
Checking out files:  15% (1685/11233)   
Checking out files:  16% (1798/11233)   
Checking out files:  16% (1821/11233)   
Checking out files:  17% (1910/11233)   
Checking out files:  18% (2022/11233)   
Checking out files:  19% (2135/11233)   
Checking out files:  19% (2144/11233)   
Checking out files:  20% (2247/11233)   
Checking out files:  21% (2359/11233)   
Checking out files:  22% (2472/11233)   
Checking out files:  22% (2478/11233)   
Checking out files:  23% (2584/11233)   
Checking out files:  24% (2696/11233)   
Checking out files:  24% (2806/11233)   
Checking out files:  25% (2809/11233)   
Checking out files:  26% (2921/11233)   
Checking out files:  27% (3033/11233)   
Checking out files:  27% (3112/11233)   
Checking out files:  28% (3146/11233)   
Checking out files:  29% (3258/11233)   
Checking out files:  30% (3370/11233)   
Checking out files:  30% (3456/11233)   
Checking out files:  31% (3483/11233)   
Checking out files:  32% (3595/11233)   
Checking out files:  33% (3707/11233)   
Checking out files:  33% (3788/11233)   
Checking out files:  34% (3820/11233)   
Checking out files:  35% (3932/11233)   
Checking out files:  36% (4044/11233)   
Checking out files:  36% (4101/11233)   
Checking out files:  37% (4157/11233)   
Checking out files:  38% (4269/11233)   
Checking out files:  39% (4381/11233)   
Checking out files:  40% (4494/11233)   
Checking out files:  40% (4593/11233)   
Checking out files:  41% (4606/11233)   
Checking out files:  42% (4718/11233)   
Checking out files:  43% (4831/11233)   
Checking out files:  43% (4882/11233)   
Checking out files:  44% (4943/11233)   
Checking out files:  45% (5055/11233)   
Checking out files:  46% (5168/11233)   
Checking out files:  46% (5178/11233)   
Checking out files:  47% (5280/11233)   
Checking out files:  48% (5392/11233)   
Checking out files:  49% (5505/11233)   
Checking out files:  49% (5510/11233)   
Checking out files:  50% (5617/11233)   
Checking out files:  51% (5729/11233)   
Checking out files:  51% (5841/11233)   
Checking out files:  52% (5842/11233)   
Checking out files:  53% (5954/11233)   
Checking out files:  54% (6066/11233)   
Checking out files:  55% (6179/11233)   
Checking out files:  55% (6204/11233)   
Checking out files:  56% (6291/11233)   
Checking out files:  57% (6403/11233)   
Checking out files:  58% (6516/11233)   
Checking out files:  58% (6555/11233)   
Checking out files:  59% (6628/11233)   
Checking out files:  60% (6740/11233)   
Checking out files:  61% (6853/11233)   
Checking out files:  61% (6926/11233)   
Checking out files:  62% (6965/11233)   
Checking out files:  63% (7077/11233)   
Checking out files:  64% (7190/11233)   
Checking out files:  64% (7215/11233)   
Checking out files:  65% (7302/11233)   
Checking out files:  66% (7414/11233)   
Checking out files:  66% (7461/11233)   
Checking out files:  67% (7527/11233)   
Checking out files:  68% (7639/11233)   
Checking out files:  69% (7751/11233)   
Checking out files:  69% (7773/11233)   
Checking out files:  70% (7864/11233)   
Checking out files:  71% (7976/11233)   
Checking out files:  72% (8088/11233)   
Checking out files:  72% (8117/11233)   
Checking out files:  73% (8201/11233)   
Checking out files:  74% (8313/11233)   
Checking out files:  75% (8425/11233)   
Checking out files:  75% (8451/11233)   
Checking out files:  76% (8538/11233)   
Checking out files:  77% (8650/11233)   
Checking out files:  78% (8762/11233)   
Checking out files:  78% (8803/11233)   
Checking out files:  79% (8875/11233)   
Checking out files:  80% (8987/11233)   
Checking out files:  81% (9099/11233)   
Checking out files:  81% (9131/11233)   
Checking out files:  82% (9212/11233)   
Checking out files:  83% (9324/11233)   
Checking out files:  84% (9436/11233)   
Checking out files:  84% (9437/11233)   
Checking out files:  85% (9549/11233)   
Checking out files:  86% (9661/11233)   
Checking out files:  86% (9746/11233)   
Checking out files:  87% (9773/11233)   
Checking out files:  88% (9886/11233)   
Checking out files:  89% (9998/11233)   
Checking out files:  89% (10063/11233)   
Checking out files:  90% (10110/11233)   
Checking out files:  91% (10223/11233)   
Checking out files:  92% (10335/11233)   
Checking out files:  92% (10373/11233)   
Checking out files:  93% (10447/11233)   
Checking out files:  94% (10560/11233)   
Checking out files:  95% (10672/11233)   
Checking out files:  95% (10674/11233)   
Checking out files:  96% (10784/11233)   
Checking out files:  97% (10897/11233)   
Checking out files:  97% (10981/11233)   
Checking out files:  98% (11009/11233)   
Checking out files:  99% (11121/11233)   
Checking out files:  99% (11221/11233)   
Checking out files: 100% (11233/11233)   
Checking out files: 100% (11233/11233), done.