Cloning into 'gnulib'...
Checking out files:   1% (224/11858)   
Checking out files:   2% (238/11858)   
Checking out files:   3% (356/11858)   
Checking out files:   4% (475/11858)   
Checking out files:   5% (593/11858)   
Checking out files:   5% (597/11858)   
Checking out files:   6% (712/11858)   
Checking out files:   7% (831/11858)   
Checking out files:   8% (949/11858)   
Checking out files:   9% (1068/11858)   
Checking out files:  10% (1186/11858)   
Checking out files:  11% (1305/11858)   
Checking out files:  11% (1326/11858)   
Checking out files:  12% (1423/11858)   
Checking out files:  13% (1542/11858)   
Checking out files:  14% (1661/11858)   
Checking out files:  14% (1703/11858)   
Checking out files:  15% (1779/11858)   
Checking out files:  16% (1898/11858)   
Checking out files:  17% (2016/11858)   
Checking out files:  17% (2085/11858)   
Checking out files:  18% (2135/11858)   
Checking out files:  19% (2254/11858)   
Checking out files:  20% (2372/11858)   
Checking out files:  20% (2470/11858)   
Checking out files:  21% (2491/11858)   
Checking out files:  22% (2609/11858)   
Checking out files:  23% (2728/11858)   
Checking out files:  23% (2805/11858)   
Checking out files:  24% (2846/11858)   
Checking out files:  25% (2965/11858)   
Checking out files:  26% (3084/11858)   
Checking out files:  26% (3149/11858)   
Checking out files:  27% (3202/11858)   
Checking out files:  28% (3321/11858)   
Checking out files:  29% (3439/11858)   
Checking out files:  29% (3491/11858)   
Checking out files:  30% (3558/11858)   
Checking out files:  31% (3676/11858)   
Checking out files:  32% (3795/11858)   
Checking out files:  32% (3858/11858)   
Checking out files:  33% (3914/11858)   
Checking out files:  34% (4032/11858)   
Checking out files:  35% (4151/11858)   
Checking out files:  35% (4153/11858)   
Checking out files:  36% (4269/11858)   
Checking out files:  36% (4326/11858)   
Checking out files:  37% (4388/11858)   
Checking out files:  38% (4507/11858)   
Checking out files:  39% (4625/11858)   
Checking out files:  39% (4669/11858)   
Checking out files:  40% (4744/11858)   
Checking out files:  41% (4862/11858)   
Checking out files:  41% (4943/11858)   
Checking out files:  42% (4981/11858)   
Checking out files:  43% (5099/11858)   
Checking out files:  44% (5218/11858)   
Checking out files:  44% (5286/11858)   
Checking out files:  45% (5337/11858)   
Checking out files:  46% (5455/11858)   
Checking out files:  47% (5574/11858)   
Checking out files:  47% (5658/11858)   
Checking out files:  48% (5692/11858)   
Checking out files:  49% (5811/11858)   
Checking out files:  50% (5929/11858)   
Checking out files:  50% (6023/11858)   
Checking out files:  51% (6048/11858)   
Checking out files:  52% (6167/11858)   
Checking out files:  53% (6285/11858)   
Checking out files:  53% (6402/11858)   
Checking out files:  54% (6404/11858)   
Checking out files:  55% (6522/11858)   
Checking out files:  56% (6641/11858)   
Checking out files:  57% (6760/11858)   
Checking out files:  57% (6770/11858)   
Checking out files:  58% (6878/11858)   
Checking out files:  59% (6997/11858)   
Checking out files:  60% (7115/11858)   
Checking out files:  60% (7169/11858)   
Checking out files:  61% (7234/11858)   
Checking out files:  62% (7352/11858)   
Checking out files:  63% (7471/11858)   
Checking out files:  63% (7560/11858)   
Checking out files:  64% (7590/11858)   
Checking out files:  65% (7708/11858)   
Checking out files:  66% (7827/11858)   
Checking out files:  67% (7945/11858)   
Checking out files:  67% (7956/11858)   
Checking out files:  68% (8064/11858)   
Checking out files:  69% (8183/11858)   
Checking out files:  70% (8301/11858)   
Checking out files:  70% (8338/11858)   
Checking out files:  71% (8420/11858)   
Checking out files:  72% (8538/11858)   
Checking out files:  73% (8657/11858)   
Checking out files:  73% (8730/11858)   
Checking out files:  74% (8775/11858)   
Checking out files:  75% (8894/11858)   
Checking out files:  76% (9013/11858)   
Checking out files:  76% (9068/11858)   
Checking out files:  77% (9131/11858)   
Checking out files:  78% (9250/11858)   
Checking out files:  79% (9368/11858)   
Checking out files:  79% (9467/11858)   
Checking out files:  80% (9487/11858)   
Checking out files:  81% (9605/11858)   
Checking out files:  82% (9724/11858)   
Checking out files:  82% (9811/11858)   
Checking out files:  83% (9843/11858)   
Checking out files:  84% (9961/11858)   
Checking out files:  85% (10080/11858)   
Checking out files:  85% (10179/11858)   
Checking out files:  86% (10198/11858)   
Checking out files:  87% (10317/11858)   
Checking out files:  88% (10436/11858)   
Checking out files:  88% (10530/11858)   
Checking out files:  89% (10554/11858)   
Checking out files:  90% (10673/11858)   
Checking out files:  91% (10791/11858)   
Checking out files:  91% (10840/11858)   
Checking out files:  92% (10910/11858)   
Checking out files:  93% (11028/11858)   
Checking out files:  94% (11147/11858)   
Checking out files:  94% (11179/11858)   
Checking out files:  95% (11266/11858)   
Checking out files:  96% (11384/11858)   
Checking out files:  97% (11503/11858)   
Checking out files:  97% (11544/11858)   
Checking out files:  98% (11621/11858)   
Checking out files:  99% (11740/11858)   
Checking out files:  99% (11829/11858)   
Checking out files: 100% (11858/11858)   
Checking out files: 100% (11858/11858), done.