mirror of
git://git.savannah.gnu.org/libtool.git
synced 2025-03-31 16:10:35 +08:00
* gnulib: Update to the latest git version. * gl-mod/bootstrap: Likewise. * bootstrap: Regenerate. * gl/top/README-release.diff: Update the patch for the latest changes in gnulib's README-release.