On 09/22/2010 12:46 AM, Gary V. Vaughan wrote: > After a `git reset --hard master && git clean -d -x -f', and > applying the patch again freshly, it works perfectly well, and without > the problems of undefined symbols like the previous patch.
OK, thanks, I pushed that patch, here: http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commit;h=66cc02681886cc3da705d0efb7a30a54bc8ce6b4
