On Tue, Dec 15, 2009 at 02:31, Paolo Bonzini <bonz...@gnu.org> wrote:
> It's an Ubuntu-specific (maybe Debian-specific) patch. Thanks I'll follow this up with them. Cheers Adam _______________________________________________ http://lists.gnu.org/mailman/listinfo/libtool
