Cloning into 'gnulib'...
Checking out files:   2% (265/10443)   
Checking out files:   3% (314/10443)   
Checking out files:   4% (418/10443)   
Checking out files:   5% (523/10443)   
Checking out files:   6% (627/10443)   
Checking out files:   6% (651/10443)   
Checking out files:   7% (732/10443)   
Checking out files:   8% (836/10443)   
Checking out files:   9% (940/10443)   
Checking out files:   9% (1036/10443)   
Checking out files:  10% (1045/10443)   
Checking out files:  11% (1149/10443)   
Checking out files:  12% (1254/10443)   
Checking out files:  13% (1358/10443)   
Checking out files:  13% (1434/10443)   
Checking out files:  14% (1463/10443)   
Checking out files:  15% (1567/10443)   
Checking out files:  16% (1671/10443)   
Checking out files:  17% (1776/10443)   
Checking out files:  17% (1836/10443)   
Checking out files:  18% (1880/10443)   
Checking out files:  19% (1985/10443)   
Checking out files:  20% (2089/10443)   
Checking out files:  21% (2194/10443)   
Checking out files:  21% (2249/10443)   
Checking out files:  22% (2298/10443)   
Checking out files:  23% (2402/10443)   
Checking out files:  24% (2507/10443)   
Checking out files:  25% (2611/10443)   
Checking out files:  25% (2640/10443)   
Checking out files:  26% (2716/10443)   
Checking out files:  27% (2820/10443)   
Checking out files:  28% (2925/10443)   
Checking out files:  29% (3029/10443)   
Checking out files:  29% (3033/10443)   
Checking out files:  30% (3133/10443)   
Checking out files:  31% (3238/10443)   
Checking out files:  32% (3342/10443)   
Checking out files:  32% (3428/10443)   
Checking out files:  33% (3447/10443)   
Checking out files:  34% (3551/10443)   
Checking out files:  35% (3656/10443)   
Checking out files:  36% (3760/10443)   
Checking out files:  36% (3822/10443)   
Checking out files:  37% (3864/10443)   
Checking out files:  38% (3969/10443)   
Checking out files:  39% (4073/10443)   
Checking out files:  40% (4178/10443)   
Checking out files:  40% (4211/10443)   
Checking out files:  41% (4282/10443)   
Checking out files:  42% (4387/10443)   
Checking out files:  43% (4491/10443)   
Checking out files:  43% (4506/10443)   
Checking out files:  44% (4595/10443)   
Checking out files:  45% (4700/10443)   
Checking out files:  46% (4804/10443)   
Checking out files:  46% (4897/10443)   
Checking out files:  47% (4909/10443)   
Checking out files:  48% (5013/10443)   
Checking out files:  49% (5118/10443)   
Checking out files:  50% (5222/10443)   
Checking out files:  50% (5309/10443)   
Checking out files:  51% (5326/10443)   
Checking out files:  52% (5431/10443)   
Checking out files:  53% (5535/10443)   
Checking out files:  54% (5640/10443)   
Checking out files:  54% (5729/10443)   
Checking out files:  55% (5744/10443)   
Checking out files:  56% (5849/10443)   
Checking out files:  57% (5953/10443)   
Checking out files:  58% (6057/10443)   
Checking out files:  59% (6162/10443)   
Checking out files:  59% (6163/10443)   
Checking out files:  60% (6266/10443)   
Checking out files:  61% (6371/10443)   
Checking out files:  62% (6475/10443)   
Checking out files:  63% (6580/10443)   
Checking out files:  63% (6599/10443)   
Checking out files:  64% (6684/10443)   
Checking out files:  65% (6788/10443)   
Checking out files:  66% (6893/10443)   
Checking out files:  67% (6997/10443)   
Checking out files:  67% (7032/10443)   
Checking out files:  68% (7102/10443)   
Checking out files:  69% (7206/10443)   
Checking out files:  70% (7311/10443)   
Checking out files:  71% (7415/10443)   
Checking out files:  71% (7464/10443)   
Checking out files:  72% (7519/10443)   
Checking out files:  73% (7624/10443)   
Checking out files:  74% (7728/10443)   
Checking out files:  75% (7833/10443)   
Checking out files:  75% (7895/10443)   
Checking out files:  76% (7937/10443)   
Checking out files:  77% (8042/10443)   
Checking out files:  78% (8146/10443)   
Checking out files:  79% (8250/10443)   
Checking out files:  79% (8323/10443)   
Checking out files:  80% (8355/10443)   
Checking out files:  81% (8459/10443)   
Checking out files:  82% (8564/10443)   
Checking out files:  83% (8668/10443)   
Checking out files:  83% (8736/10443)   
Checking out files:  84% (8773/10443)   
Checking out files:  85% (8877/10443)   
Checking out files:  86% (8981/10443)   
Checking out files:  87% (9086/10443)   
Checking out files:  87% (9124/10443)   
Checking out files:  88% (9190/10443)   
Checking out files:  89% (9295/10443)   
Checking out files:  90% (9399/10443)   
Checking out files:  91% (9504/10443)   
Checking out files:  91% (9520/10443)   
Checking out files:  92% (9608/10443)   
Checking out files:  93% (9712/10443)   
Checking out files:  94% (9817/10443)   
Checking out files:  94% (9918/10443)   
Checking out files:  95% (9921/10443)   
Checking out files:  96% (10026/10443)   
Checking out files:  97% (10130/10443)   
Checking out files:  97% (10212/10443)   
Checking out files:  98% (10235/10443)   
Checking out files:  99% (10339/10443)   
Checking out files: 100% (10443/10443)   
Checking out files: 100% (10443/10443), done.