From: Jim Meyering Date: Thu, 20 Jan 2011 21:29:50 +0000 (+0100) Subject: ChangeLog: remove duplicate entry X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1960b6b65802d70687c06056e0d3a9175a210b69;p=pspp ChangeLog: remove duplicate entry Remove "bootstrap: avoid failure when there is no .gitmodules file" Spotted by Bruno Haible. --- diff --git a/ChangeLog b/ChangeLog index be6a9edc86..db4abacaa7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -16,15 +16,6 @@ name is "warn_", and not "warn" when looking at the first part of its definition: "warn_ ()". Suggested by Ralf Wildenhues. -2011-01-14 Jim Meyering - - bootstrap: avoid failure when there is no .gitmodules file - ": ${gnulib_path=gnulib}" fails to set $gnulib_path when that variable - has been assigned to, even when its value is the empty string. - * build-aux/bootstrap (gnulib_path): Test explicitly for an empty - "$gnulib_path", rather than using ${gnulib_path=gnulib}. - Reported by John W. Eaton . - 2011-01-20 Jim Meyering mountlist: clean up code formatting