# HG changeset patch
# User Jordi Gutiérrez Hermoso <jordigh@octave.org>
# Date 1357237454 18000
# Node ID 44f30dcd87e0de84f357a12896cc618c8db600f2
# Parent  fde9297ae0747e3e7d52948389d8b6e70bdd3199# Parent  7f4082b00a99edb0780292857635cc4d70407be1
maint: merge in gnulib changes from stable

diff -r fde9297ae074 -r 44f30dcd87e0 .hgsub
--- a/.hgsub	Thu Jan 03 10:06:59 2013 -0800
+++ b/.hgsub	Thu Jan 03 13:24:14 2013 -0500
@@ -1,1 +1,1 @@
-gnulib = [git]git://git.sv.gnu.org/gnulib
+gnulib-hg = gnulib-hg
diff -r fde9297ae074 -r 44f30dcd87e0 .hgsubstate
--- a/.hgsubstate	Thu Jan 03 10:06:59 2013 -0800
+++ b/.hgsubstate	Thu Jan 03 13:24:14 2013 -0500
@@ -1,1 +1,1 @@
-e657573866e8aded3b3b1461c346cf9ad02a5148 gnulib
+c960be36c9f3f690ceb43057314354e0df736416 gnulib-hg
diff -r fde9297ae074 -r 44f30dcd87e0 build-aux/bootstrap_gnulib
--- a/build-aux/bootstrap_gnulib	Thu Jan 03 10:06:59 2013 -0800
+++ b/build-aux/bootstrap_gnulib	Thu Jan 03 13:24:14 2013 -0500
@@ -205,8 +205,10 @@
 # default.
 bootstrap_sync=false
 
-# Use git to update gnulib sources
-use_git=true
+# Don't use git to update gnulib sources. We keep gnulib under a
+# Mercurial subrepository instead
+use_git=false
+GNULIB_SRCDIR=gnulib-hg
 
 # find_tool ENVVAR NAMES...
 # -------------------------