# HG changeset patch
# User Mike Miller <mtmiller@octave.org>
# Date 1580150040 28800
# Node ID c45a0d7e9385e8575f946dc7fb86996ae4ade710
# Parent  20a9b99d515c7b085f9a1db7653d35b4ce9d440c# Parent  f6b390541a37728e7cdedfbcdecdf5094b7b467e
maint: merge stable to default

diff -r 20a9b99d515c -r c45a0d7e9385 bootstrap
--- a/bootstrap	Mon Jan 27 19:24:02 2020 +0100
+++ b/bootstrap	Mon Jan 27 10:34:00 2020 -0800
@@ -674,7 +674,7 @@
     elif test -n "$GNULIB_REVISION" \
          && ! git --git-dir="$gnulib_path"/.git cat-file \
               commit "$GNULIB_REVISION"; then
-      git --git-dir="$gnulib_path"/.git pull
+      git --git-dir="$gnulib_path"/.git fetch
     fi
     GNULIB_SRCDIR=$gnulib_path
     ;;