Cloning into 'gnulib'...
Checking out files:   8% (1113/12372)   
Checking out files:   9% (1114/12372)   
Checking out files:  10% (1238/12372)   
Checking out files:  11% (1361/12372)   
Checking out files:  12% (1485/12372)   
Checking out files:  13% (1609/12372)   
Checking out files:  14% (1733/12372)   
Checking out files:  15% (1856/12372)   
Checking out files:  16% (1980/12372)   
Checking out files:  17% (2104/12372)   
Checking out files:  17% (2209/12372)   
Checking out files:  18% (2227/12372)   
Checking out files:  19% (2351/12372)   
Checking out files:  20% (2475/12372)   
Checking out files:  21% (2599/12372)   
Checking out files:  22% (2722/12372)   
Checking out files:  23% (2846/12372)   
Checking out files:  23% (2939/12372)   
Checking out files:  24% (2970/12372)   
Checking out files:  25% (3093/12372)   
Checking out files:  26% (3217/12372)   
Checking out files:  27% (3341/12372)   
Checking out files:  28% (3465/12372)   
Checking out files:  29% (3588/12372)   
Checking out files:  29% (3673/12372)   
Checking out files:  30% (3712/12372)   
Checking out files:  31% (3836/12372)   
Checking out files:  32% (3960/12372)   
Checking out files:  33% (4083/12372)   
Checking out files:  34% (4207/12372)   
Checking out files:  35% (4331/12372)   
Checking out files:  36% (4454/12372)   
Checking out files:  37% (4578/12372)   
Checking out files:  38% (4702/12372)   
Checking out files:  38% (4764/12372)   
Checking out files:  39% (4826/12372)   
Checking out files:  40% (4949/12372)   
Checking out files:  41% (5073/12372)   
Checking out files:  42% (5197/12372)   
Checking out files:  43% (5320/12372)   
Checking out files:  44% (5444/12372)   
Checking out files:  45% (5568/12372)   
Checking out files:  46% (5692/12372)   
Checking out files:  47% (5815/12372)   
Checking out files:  48% (5939/12372)   
Checking out files:  49% (6063/12372)   
Checking out files:  50% (6186/12372)   
Checking out files:  51% (6310/12372)   
Checking out files:  52% (6434/12372)   
Checking out files:  52% (6489/12372)   
Checking out files:  53% (6558/12372)   
Checking out files:  54% (6681/12372)   
Checking out files:  55% (6805/12372)   
Checking out files:  56% (6929/12372)   
Checking out files:  57% (7053/12372)   
Checking out files:  58% (7176/12372)   
Checking out files:  59% (7300/12372)   
Checking out files:  60% (7424/12372)   
Checking out files:  61% (7547/12372)   
Checking out files:  62% (7671/12372)   
Checking out files:  63% (7795/12372)   
Checking out files:  64% (7919/12372)   
Checking out files:  65% (8042/12372)   
Checking out files:  66% (8166/12372)   
Checking out files:  67% (8290/12372)   
Checking out files:  68% (8413/12372)   
Checking out files:  69% (8537/12372)   
Checking out files:  70% (8661/12372)   
Checking out files:  71% (8785/12372)   
Checking out files:  72% (8908/12372)   
Checking out files:  73% (9032/12372)   
Checking out files:  73% (9105/12372)   
Checking out files:  74% (9156/12372)   
Checking out files:  75% (9279/12372)   
Checking out files:  76% (9403/12372)   
Checking out files:  77% (9527/12372)   
Checking out files:  78% (9651/12372)   
Checking out files:  79% (9774/12372)   
Checking out files:  80% (9898/12372)   
Checking out files:  81% (10022/12372)   
Checking out files:  82% (10146/12372)   
Checking out files:  83% (10269/12372)   
Checking out files:  84% (10393/12372)   
Checking out files:  85% (10517/12372)   
Checking out files:  86% (10640/12372)   
Checking out files:  87% (10764/12372)   
Checking out files:  88% (10888/12372)   
Checking out files:  89% (11012/12372)   
Checking out files:  89% (11078/12372)   
Checking out files:  90% (11135/12372)   
Checking out files:  91% (11259/12372)   
Checking out files:  92% (11383/12372)   
Checking out files:  93% (11506/12372)   
Checking out files:  94% (11630/12372)   
Checking out files:  95% (11754/12372)   
Checking out files:  96% (11878/12372)   
Checking out files:  97% (12001/12372)   
Checking out files:  98% (12125/12372)   
Checking out files:  99% (12249/12372)   
Checking out files: 100% (12372/12372)   
Checking out files: 100% (12372/12372), done.