On 10/23/2011 08:24 PM, Gary V. Vaughan wrote:
My bad... I've been away from libtool development so long that I totally forgot to differentiate between bug-libtool and libtool-patches. Sorry about that.
One day I'm going to have to read the documentation, so I can figure out how to close bugs.
http://debbugs.gnu.org/db/pa/llibtool.html Probably not today though :) Peter