Please remember to check with debbugs.gnu.org: https://debbugs.gnu.org/cgi/pkgreport.cgi?package=libtool;max-bugs=100;base-order=1;bug-rev=1
There are plenty of bugs in there. E.g.: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=52253 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=45738 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=46559 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=53479 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=41837 https://debbugs.gnu.org/cgi/bugreport.cgi?bug=23348 (... some of which have already been fixed, I haven't checked.) -- O.S.
