mirror of
git://git.savannah.gnu.org/libtool.git
synced 2025-03-25 16:00:24 +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.