Cloning into 'gnulib'...
Checking out files:   2% (258/10885)   
Checking out files:   3% (327/10885)   
Checking out files:   4% (436/10885)   
Checking out files:   5% (545/10885)   
Checking out files:   5% (620/10885)   
Checking out files:   6% (654/10885)   
Checking out files:   7% (762/10885)   
Checking out files:   8% (871/10885)   
Checking out files:   9% (980/10885)   
Checking out files:   9% (1019/10885)   
Checking out files:  10% (1089/10885)   
Checking out files:  11% (1198/10885)   
Checking out files:  12% (1307/10885)   
Checking out files:  13% (1416/10885)   
Checking out files:  13% (1425/10885)   
Checking out files:  14% (1524/10885)   
Checking out files:  15% (1633/10885)   
Checking out files:  16% (1742/10885)   
Checking out files:  16% (1835/10885)   
Checking out files:  17% (1851/10885)   
Checking out files:  18% (1960/10885)   
Checking out files:  19% (2069/10885)   
Checking out files:  20% (2177/10885)   
Checking out files:  20% (2240/10885)   
Checking out files:  21% (2286/10885)   
Checking out files:  22% (2395/10885)   
Checking out files:  23% (2504/10885)   
Checking out files:  24% (2613/10885)   
Checking out files:  24% (2617/10885)   
Checking out files:  25% (2722/10885)   
Checking out files:  26% (2831/10885)   
Checking out files:  27% (2939/10885)   
Checking out files:  27% (3000/10885)   
Checking out files:  28% (3048/10885)   
Checking out files:  29% (3157/10885)   
Checking out files:  30% (3266/10885)   
Checking out files:  30% (3372/10885)   
Checking out files:  31% (3375/10885)   
Checking out files:  32% (3484/10885)   
Checking out files:  33% (3593/10885)   
Checking out files:  34% (3701/10885)   
Checking out files:  34% (3729/10885)   
Checking out files:  35% (3810/10885)   
Checking out files:  36% (3919/10885)   
Checking out files:  37% (4028/10885)   
Checking out files:  37% (4105/10885)   
Checking out files:  38% (4137/10885)   
Checking out files:  39% (4246/10885)   
Checking out files:  40% (4354/10885)   
Checking out files:  40% (4412/10885)   
Checking out files:  41% (4463/10885)   
Checking out files:  42% (4572/10885)   
Checking out files:  43% (4681/10885)   
Checking out files:  43% (4743/10885)   
Checking out files:  44% (4790/10885)   
Checking out files:  45% (4899/10885)   
Checking out files:  46% (5008/10885)   
Checking out files:  47% (5116/10885)   
Checking out files:  47% (5125/10885)   
Checking out files:  48% (5225/10885)   
Checking out files:  49% (5334/10885)   
Checking out files:  50% (5443/10885)   
Checking out files:  50% (5515/10885)   
Checking out files:  51% (5552/10885)   
Checking out files:  52% (5661/10885)   
Checking out files:  53% (5770/10885)   
Checking out files:  54% (5878/10885)   
Checking out files:  54% (5924/10885)   
Checking out files:  55% (5987/10885)   
Checking out files:  56% (6096/10885)   
Checking out files:  57% (6205/10885)   
Checking out files:  58% (6314/10885)   
Checking out files:  58% (6344/10885)   
Checking out files:  59% (6423/10885)   
Checking out files:  60% (6531/10885)   
Checking out files:  61% (6640/10885)   
Checking out files:  62% (6749/10885)   
Checking out files:  62% (6766/10885)   
Checking out files:  63% (6858/10885)   
Checking out files:  64% (6967/10885)   
Checking out files:  65% (7076/10885)   
Checking out files:  65% (7173/10885)   
Checking out files:  66% (7185/10885)   
Checking out files:  67% (7293/10885)   
Checking out files:  68% (7402/10885)   
Checking out files:  69% (7511/10885)   
Checking out files:  69% (7595/10885)   
Checking out files:  70% (7620/10885)   
Checking out files:  71% (7729/10885)   
Checking out files:  72% (7838/10885)   
Checking out files:  73% (7947/10885)   
Checking out files:  73% (8014/10885)   
Checking out files:  74% (8055/10885)   
Checking out files:  75% (8164/10885)   
Checking out files:  76% (8273/10885)   
Checking out files:  77% (8382/10885)   
Checking out files:  77% (8429/10885)   
Checking out files:  78% (8491/10885)   
Checking out files:  79% (8600/10885)   
Checking out files:  80% (8708/10885)   
Checking out files:  81% (8817/10885)   
Checking out files:  81% (8843/10885)   
Checking out files:  82% (8926/10885)   
Checking out files:  83% (9035/10885)   
Checking out files:  84% (9144/10885)   
Checking out files:  84% (9212/10885)   
Checking out files:  85% (9253/10885)   
Checking out files:  86% (9362/10885)   
Checking out files:  87% (9470/10885)   
Checking out files:  87% (9532/10885)   
Checking out files:  88% (9579/10885)   
Checking out files:  89% (9688/10885)   
Checking out files:  90% (9797/10885)   
Checking out files:  91% (9906/10885)   
Checking out files:  91% (9914/10885)   
Checking out files:  92% (10015/10885)   
Checking out files:  93% (10124/10885)   
Checking out files:  94% (10232/10885)   
Checking out files:  94% (10283/10885)   
Checking out files:  95% (10341/10885)   
Checking out files:  96% (10450/10885)   
Checking out files:  97% (10559/10885)   
Checking out files:  97% (10639/10885)   
Checking out files:  98% (10668/10885)   
Checking out files:  99% (10777/10885)   
Checking out files: 100% (10885/10885)   
Checking out files: 100% (10885/10885), done.