gnulib: sync with upstream.
commit95e4dd3ece5900b60f3b8f1ca5dc891e1eb66325
authorGary V. Vaughan <gary@gnu.org>
Sun, 15 Sep 2013 08:31:18 +0000 (15 15:31 +0700)
committerGary V. Vaughan <gary@gnu.org>
Sun, 15 Sep 2013 11:36:55 +0000 (15 18:36 +0700)
tree540573c5af173373e64217ab05b5d8c2d374772f
parent861325a84f231a2a2da307b53ef5ff527d67e876
gnulib: sync with upstream.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
gnulib