Hi Peter, On 24 Oct 2011, at 08:29, Peter O'Gorman wrote: > 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
I'm pretty sure you just reply to the thread with a one liner: close 12345 Cheers, -- Gary V. Vaughan (gary AT gnu DOT org)