Subject: Re: bug#13893: bug in CP

From: Bob Proulx <[email-masked]>
Date: Tue, 8 Apr 2014 11:21:17 -0600

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