Re: [SCM] GNU Libtool branch, master, updated. v2.4.2-28-gadb7abd

[Gary V. Vaughan]

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)