Cloning into 'gnulib'...
Checking out files:   2% (255/10895)   
Checking out files:   3% (327/10895)   
Checking out files:   4% (436/10895)   
Checking out files:   5% (545/10895)   
Checking out files:   5% (615/10895)   
Checking out files:   6% (654/10895)   
Checking out files:   7% (763/10895)   
Checking out files:   8% (872/10895)   
Checking out files:   9% (981/10895)   
Checking out files:   9% (997/10895)   
Checking out files:  10% (1090/10895)   
Checking out files:  11% (1199/10895)   
Checking out files:  12% (1308/10895)   
Checking out files:  12% (1388/10895)   
Checking out files:  13% (1417/10895)   
Checking out files:  14% (1526/10895)   
Checking out files:  15% (1635/10895)   
Checking out files:  16% (1744/10895)   
Checking out files:  16% (1784/10895)   
Checking out files:  17% (1853/10895)   
Checking out files:  18% (1962/10895)   
Checking out files:  19% (2071/10895)   
Checking out files:  19% (2148/10895)   
Checking out files:  20% (2179/10895)   
Checking out files:  21% (2288/10895)   
Checking out files:  22% (2397/10895)   
Checking out files:  22% (2503/10895)   
Checking out files:  23% (2506/10895)   
Checking out files:  24% (2615/10895)   
Checking out files:  25% (2724/10895)   
Checking out files:  25% (2826/10895)   
Checking out files:  26% (2833/10895)   
Checking out files:  27% (2942/10895)   
Checking out files:  28% (3051/10895)   
Checking out files:  28% (3159/10895)   
Checking out files:  29% (3160/10895)   
Checking out files:  30% (3269/10895)   
Checking out files:  31% (3378/10895)   
Checking out files:  32% (3487/10895)   
Checking out files:  33% (3596/10895)   
Checking out files:  34% (3705/10895)   
Checking out files:  35% (3814/10895)   
Checking out files:  35% (3835/10895)   
Checking out files:  36% (3923/10895)   
Checking out files:  37% (4032/10895)   
Checking out files:  38% (4141/10895)   
Checking out files:  38% (4181/10895)   
Checking out files:  39% (4250/10895)   
Checking out files:  40% (4358/10895)   
Checking out files:  40% (4427/10895)   
Checking out files:  41% (4467/10895)   
Checking out files:  42% (4576/10895)   
Checking out files:  43% (4685/10895)   
Checking out files:  43% (4774/10895)   
Checking out files:  44% (4794/10895)   
Checking out files:  45% (4903/10895)   
Checking out files:  46% (5012/10895)   
Checking out files:  47% (5121/10895)   
Checking out files:  47% (5136/10895)   
Checking out files:  48% (5230/10895)   
Checking out files:  49% (5339/10895)   
Checking out files:  50% (5448/10895)   
Checking out files:  50% (5497/10895)   
Checking out files:  51% (5557/10895)   
Checking out files:  52% (5666/10895)   
Checking out files:  53% (5775/10895)   
Checking out files:  53% (5867/10895)   
Checking out files:  54% (5884/10895)   
Checking out files:  55% (5993/10895)   
Checking out files:  56% (6102/10895)   
Checking out files:  57% (6211/10895)   
Checking out files:  57% (6259/10895)   
Checking out files:  58% (6320/10895)   
Checking out files:  59% (6429/10895)   
Checking out files:  60% (6537/10895)   
Checking out files:  61% (6646/10895)   
Checking out files:  62% (6755/10895)   
Checking out files:  63% (6864/10895)   
Checking out files:  64% (6973/10895)   
Checking out files:  64% (7047/10895)   
Checking out files:  65% (7082/10895)   
Checking out files:  66% (7191/10895)   
Checking out files:  67% (7300/10895)   
Checking out files:  68% (7409/10895)   
Checking out files:  68% (7429/10895)   
Checking out files:  69% (7518/10895)   
Checking out files:  70% (7627/10895)   
Checking out files:  71% (7736/10895)   
Checking out files:  71% (7812/10895)   
Checking out files:  72% (7845/10895)   
Checking out files:  73% (7954/10895)   
Checking out files:  74% (8063/10895)   
Checking out files:  75% (8172/10895)   
Checking out files:  75% (8221/10895)   
Checking out files:  76% (8281/10895)   
Checking out files:  77% (8390/10895)   
Checking out files:  78% (8499/10895)   
Checking out files:  79% (8608/10895)   
Checking out files:  79% (8633/10895)   
Checking out files:  80% (8716/10895)   
Checking out files:  81% (8825/10895)   
Checking out files:  82% (8934/10895)   
Checking out files:  82% (8996/10895)   
Checking out files:  83% (9043/10895)   
Checking out files:  84% (9152/10895)   
Checking out files:  85% (9261/10895)   
Checking out files:  86% (9370/10895)   
Checking out files:  86% (9379/10895)   
Checking out files:  87% (9479/10895)   
Checking out files:  88% (9588/10895)   
Checking out files:  89% (9697/10895)   
Checking out files:  89% (9782/10895)   
Checking out files:  90% (9806/10895)   
Checking out files:  91% (9915/10895)   
Checking out files:  92% (10024/10895)   
Checking out files:  93% (10133/10895)   
Checking out files:  93% (10155/10895)   
Checking out files:  94% (10242/10895)   
Checking out files:  95% (10351/10895)   
Checking out files:  96% (10460/10895)   
Checking out files:  96% (10538/10895)   
Checking out files:  97% (10569/10895)   
Checking out files:  98% (10678/10895)   
Checking out files:  99% (10787/10895)   
Checking out files:  99% (10803/10895)   
Checking out files: 100% (10895/10895)   
Checking out files: 100% (10895/10895), done.