Cloning into 'gnulib'...
Checking out files:   1% (201/10587)   
Checking out files:   2% (212/10587)   
Checking out files:   3% (318/10587)   
Checking out files:   4% (424/10587)   
Checking out files:   5% (530/10587)   
Checking out files:   5% (549/10587)   
Checking out files:   6% (636/10587)   
Checking out files:   7% (742/10587)   
Checking out files:   8% (847/10587)   
Checking out files:   8% (871/10587)   
Checking out files:   9% (953/10587)   
Checking out files:  10% (1059/10587)   
Checking out files:  11% (1165/10587)   
Checking out files:  11% (1206/10587)   
Checking out files:  12% (1271/10587)   
Checking out files:  13% (1377/10587)   
Checking out files:  14% (1483/10587)   
Checking out files:  14% (1485/10587)   
Checking out files:  15% (1589/10587)   
Checking out files:  16% (1694/10587)   
Checking out files:  16% (1789/10587)   
Checking out files:  17% (1800/10587)   
Checking out files:  18% (1906/10587)   
Checking out files:  19% (2012/10587)   
Checking out files:  19% (2102/10587)   
Checking out files:  20% (2118/10587)   
Checking out files:  21% (2224/10587)   
Checking out files:  22% (2330/10587)   
Checking out files:  22% (2420/10587)   
Checking out files:  23% (2436/10587)   
Checking out files:  24% (2541/10587)   
Checking out files:  25% (2647/10587)   
Checking out files:  25% (2720/10587)   
Checking out files:  26% (2753/10587)   
Checking out files:  27% (2859/10587)   
Checking out files:  28% (2965/10587)   
Checking out files:  28% (3017/10587)   
Checking out files:  29% (3071/10587)   
Checking out files:  30% (3177/10587)   
Checking out files:  31% (3282/10587)   
Checking out files:  31% (3322/10587)   
Checking out files:  32% (3388/10587)   
Checking out files:  33% (3494/10587)   
Checking out files:  34% (3600/10587)   
Checking out files:  34% (3606/10587)   
Checking out files:  35% (3706/10587)   
Checking out files:  36% (3812/10587)   
Checking out files:  36% (3899/10587)   
Checking out files:  37% (3918/10587)   
Checking out files:  38% (4024/10587)   
Checking out files:  39% (4129/10587)   
Checking out files:  39% (4196/10587)   
Checking out files:  40% (4235/10587)   
Checking out files:  41% (4341/10587)   
Checking out files:  41% (4400/10587)   
Checking out files:  42% (4447/10587)   
Checking out files:  43% (4553/10587)   
Checking out files:  44% (4659/10587)   
Checking out files:  44% (4690/10587)   
Checking out files:  45% (4765/10587)   
Checking out files:  46% (4871/10587)   
Checking out files:  47% (4976/10587)   
Checking out files:  47% (4981/10587)   
Checking out files:  48% (5082/10587)   
Checking out files:  49% (5188/10587)   
Checking out files:  49% (5292/10587)   
Checking out files:  50% (5294/10587)   
Checking out files:  51% (5400/10587)   
Checking out files:  52% (5506/10587)   
Checking out files:  52% (5610/10587)   
Checking out files:  53% (5612/10587)   
Checking out files:  54% (5717/10587)   
Checking out files:  55% (5823/10587)   
Checking out files:  56% (5929/10587)   
Checking out files:  56% (5934/10587)   
Checking out files:  57% (6035/10587)   
Checking out files:  58% (6141/10587)   
Checking out files:  59% (6247/10587)   
Checking out files:  59% (6298/10587)   
Checking out files:  60% (6353/10587)   
Checking out files:  61% (6459/10587)   
Checking out files:  62% (6564/10587)   
Checking out files:  62% (6649/10587)   
Checking out files:  63% (6670/10587)   
Checking out files:  64% (6776/10587)   
Checking out files:  65% (6882/10587)   
Checking out files:  65% (6965/10587)   
Checking out files:  66% (6988/10587)   
Checking out files:  67% (7094/10587)   
Checking out files:  68% (7200/10587)   
Checking out files:  68% (7292/10587)   
Checking out files:  69% (7306/10587)   
Checking out files:  70% (7411/10587)   
Checking out files:  71% (7517/10587)   
Checking out files:  71% (7622/10587)   
Checking out files:  72% (7623/10587)   
Checking out files:  73% (7729/10587)   
Checking out files:  74% (7835/10587)   
Checking out files:  75% (7941/10587)   
Checking out files:  75% (7955/10587)   
Checking out files:  76% (8047/10587)   
Checking out files:  77% (8152/10587)   
Checking out files:  78% (8258/10587)   
Checking out files:  78% (8298/10587)   
Checking out files:  79% (8364/10587)   
Checking out files:  80% (8470/10587)   
Checking out files:  81% (8576/10587)   
Checking out files:  81% (8650/10587)   
Checking out files:  82% (8682/10587)   
Checking out files:  83% (8788/10587)   
Checking out files:  84% (8894/10587)   
Checking out files:  84% (8966/10587)   
Checking out files:  85% (8999/10587)   
Checking out files:  86% (9105/10587)   
Checking out files:  87% (9211/10587)   
Checking out files:  87% (9307/10587)   
Checking out files:  88% (9317/10587)   
Checking out files:  89% (9423/10587)   
Checking out files:  90% (9529/10587)   
Checking out files:  91% (9635/10587)   
Checking out files:  91% (9636/10587)   
Checking out files:  92% (9741/10587)   
Checking out files:  93% (9846/10587)   
Checking out files:  93% (9926/10587)   
Checking out files:  94% (9952/10587)   
Checking out files:  95% (10058/10587)   
Checking out files:  96% (10164/10587)   
Checking out files:  96% (10241/10587)   
Checking out files:  97% (10270/10587)   
Checking out files:  98% (10376/10587)   
Checking out files:  98% (10451/10587)   
Checking out files:  99% (10482/10587)   
Checking out files: 100% (10587/10587)   
Checking out files: 100% (10587/10587), done.