Subject: bug#9000: 2012-05-04 version of patch

From: Paul Eggert <[email-masked]>
Date: Sat, 26 May 2012 20:08:15 -0700

Attached is a revised update, which contains the
entire patch.  Since recent gnulib changes have
been merged, the new patch is smaller.