Hello again, I just noticed that this problem was already found and fixed by Simon in March: http://www.mail-archive.com/bug-gnulib@gnu.org/msg13671.html
There was some discussion about the right approach, but no decision was made. Bruno, Simon, would you please reconsider applying the patch? Without it, the gethostname module is broken on W32. Regards, Martin
