Re: [frogs] patch for issue 708

[Patrick McCarty]

On Sat, May 23, 2009 at 7:26 PM, Graham Percival
<address@hidden> wrote:
> On Sat, May 23, 2009 at 05:20:56PM -0600, Carl D. Sorensen wrote:
>> Can you change the status of 708 to fixed in 2.13.1?  And verify, at your
>> convenience?
>
> Actually, the idea is that the programmer (or comitter) would
> change the status to fixed, and Valentin would verify it when
> 2.13.1 GUB is released.
>
> For 708, I've changed the status to fixed.

I don't see the patch on git master.  Did you push the patch, Carl?

-Patrick