Subject: Re: bug#13893: bug in CP
From: Bob Proulx <[email-masked]>
To: [email-masked]
Cc: "Kevin C. Redden" <[email-masked]>, [email-masked]
Date: Tue, 8 Apr 2014 11:21:17 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

Pádraig Brady wrote:
> I agree with the analysis here.
> We can open again if necessary.

It has been a year and no one has added anything to this bug which
seems to have been completely resolved.  I am therefore closing it
in the bug tracking system.

Bob