Cloning into 'gnulib'...
Checking out files:   0% (108/12044)   
Checking out files:   1% (121/12044)   
Checking out files:   2% (241/12044)   
Checking out files:   2% (305/12044)   
Checking out files:   3% (362/12044)   
Checking out files:   4% (482/12044)   
Checking out files:   4% (501/12044)   
Checking out files:   5% (603/12044)   
Checking out files:   5% (722/12044)   
Checking out files:   6% (723/12044)   
Checking out files:   7% (844/12044)   
Checking out files:   7% (922/12044)   
Checking out files:   8% (964/12044)   
Checking out files:   9% (1084/12044)   
Checking out files:   9% (1123/12044)   
Checking out files:  10% (1205/12044)   
Checking out files:  11% (1325/12044)   
Checking out files:  11% (1331/12044)   
Checking out files:  12% (1446/12044)   
Checking out files:  13% (1566/12044)   
Checking out files:  13% (1575/12044)   
Checking out files:  14% (1687/12044)   
Checking out files:  14% (1781/12044)   
Checking out files:  15% (1807/12044)   
Checking out files:  16% (1928/12044)   
Checking out files:  16% (1983/12044)   
Checking out files:  17% (2048/12044)   
Checking out files:  18% (2168/12044)   
Checking out files:  18% (2181/12044)   
Checking out files:  19% (2289/12044)   
Checking out files:  19% (2381/12044)   
Checking out files:  20% (2409/12044)   
Checking out files:  21% (2530/12044)   
Checking out files:  21% (2584/12044)   
Checking out files:  22% (2650/12044)   
Checking out files:  23% (2771/12044)   
Checking out files:  24% (2891/12044)   
Checking out files:  24% (2965/12044)   
Checking out files:  25% (3011/12044)   
Checking out files:  26% (3132/12044)   
Checking out files:  26% (3190/12044)   
Checking out files:  27% (3252/12044)   
Checking out files:  28% (3373/12044)   
Checking out files:  28% (3392/12044)   
Checking out files:  29% (3493/12044)   
Checking out files:  29% (3595/12044)   
Checking out files:  30% (3614/12044)   
Checking out files:  31% (3734/12044)   
Checking out files:  31% (3823/12044)   
Checking out files:  32% (3855/12044)   
Checking out files:  33% (3975/12044)   
Checking out files:  33% (4059/12044)   
Checking out files:  34% (4095/12044)   
Checking out files:  35% (4216/12044)   
Checking out files:  35% (4273/12044)   
Checking out files:  36% (4336/12044)   
Checking out files:  37% (4457/12044)   
Checking out files:  38% (4577/12044)   
Checking out files:  38% (4622/12044)   
Checking out files:  39% (4698/12044)   
Checking out files:  40% (4818/12044)   
Checking out files:  40% (4894/12044)   
Checking out files:  41% (4939/12044)   
Checking out files:  42% (5059/12044)   
Checking out files:  43% (5179/12044)   
Checking out files:  43% (5257/12044)   
Checking out files:  44% (5300/12044)   
Checking out files:  45% (5420/12044)   
Checking out files:  46% (5541/12044)   
Checking out files:  46% (5637/12044)   
Checking out files:  47% (5661/12044)   
Checking out files:  48% (5782/12044)   
Checking out files:  49% (5902/12044)   
Checking out files:  50% (6022/12044)   
Checking out files:  50% (6023/12044)   
Checking out files:  51% (6143/12044)   
Checking out files:  52% (6263/12044)   
Checking out files:  53% (6384/12044)   
Checking out files:  53% (6415/12044)   
Checking out files:  54% (6504/12044)   
Checking out files:  55% (6625/12044)   
Checking out files:  56% (6745/12044)   
Checking out files:  56% (6796/12044)   
Checking out files:  57% (6866/12044)   
Checking out files:  58% (6986/12044)   
Checking out files:  59% (7106/12044)   
Checking out files:  59% (7123/12044)   
Checking out files:  60% (7227/12044)   
Checking out files:  61% (7347/12044)   
Checking out files:  62% (7468/12044)   
Checking out files:  62% (7528/12044)   
Checking out files:  63% (7588/12044)   
Checking out files:  64% (7709/12044)   
Checking out files:  65% (7829/12044)   
Checking out files:  65% (7946/12044)   
Checking out files:  66% (7950/12044)   
Checking out files:  67% (8070/12044)   
Checking out files:  68% (8190/12044)   
Checking out files:  69% (8311/12044)   
Checking out files:  69% (8339/12044)   
Checking out files:  70% (8431/12044)   
Checking out files:  71% (8552/12044)   
Checking out files:  72% (8672/12044)   
Checking out files:  72% (8756/12044)   
Checking out files:  73% (8793/12044)   
Checking out files:  74% (8913/12044)   
Checking out files:  75% (9033/12044)   
Checking out files:  76% (9154/12044)   
Checking out files:  76% (9167/12044)   
Checking out files:  77% (9274/12044)   
Checking out files:  78% (9395/12044)   
Checking out files:  79% (9515/12044)   
Checking out files:  79% (9573/12044)   
Checking out files:  80% (9636/12044)   
Checking out files:  81% (9756/12044)   
Checking out files:  82% (9877/12044)   
Checking out files:  82% (9926/12044)   
Checking out files:  83% (9997/12044)   
Checking out files:  84% (10117/12044)   
Checking out files:  85% (10238/12044)   
Checking out files:  85% (10269/12044)   
Checking out files:  86% (10358/12044)   
Checking out files:  87% (10479/12044)   
Checking out files:  88% (10599/12044)   
Checking out files:  88% (10651/12044)   
Checking out files:  89% (10720/12044)   
Checking out files:  90% (10840/12044)   
Checking out files:  91% (10961/12044)   
Checking out files:  91% (11045/12044)   
Checking out files:  92% (11081/12044)   
Checking out files:  93% (11201/12044)   
Checking out files:  94% (11322/12044)   
Checking out files:  94% (11404/12044)   
Checking out files:  95% (11442/12044)   
Checking out files:  96% (11563/12044)   
Checking out files:  97% (11683/12044)   
Checking out files:  97% (11775/12044)   
Checking out files:  98% (11804/12044)   
Checking out files:  99% (11924/12044)   
Checking out files:  99% (12019/12044)   
Checking out files: 100% (12044/12044)   
Checking out files: 100% (12044/12044), done.