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
