Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

[Christophe Jarry]

Dear developers,

Some days ago, I did post a patch to fix bug #9210
(http://lists.gnu.org/archive/html/libtool-patches/2011-09/msg00013.html). As
far as I can see on http://git.savannah.gnu.org/cgit/libtool.git/log/, the
patch has not been applied yet.

Is there something wrong in the patch? If it is, please tell me what the
problem is.

Thanks,

Christophe