Karl Berry wrote: > gnulib-tool > > That's for Bruno, I expect.
I abstain. The keyword has served its purpose once, by allowing us to easily diagnose that a user's gnulib checkout was 6 months old. But OTOH I believe, with Jim, that git's nonlinear branch topology makes this unusable in the future. Bruno
