>>>>> "Joel" == Joel Brobecker <brobecker@adacore.com> writes: Joel> * gnulib/update-gnulib.sh: New script. Joel> Script tested by running it, and verifying that it does not introduce Joel> any change. Joel> OK to commit? I think it is fine. Tom