Thanks for testing. I pushed this to master.
On Tue, Dec 06, 2011 at 01:38:16PM -0800, Luca Giraudo wrote:
> It seems to work properly. No differences from the my patch.
>
> Luca
>
> On Tue, Dec 6, 2011 at 1:02 PM, Ben Pfaff wrote:
>
> > From: Luca Giraudo
> >
> > Bug #2407.
> > ---
> > Hi L
It seems to work properly. No differences from the my patch.
Luca
On Tue, Dec 6, 2011 at 1:02 PM, Ben Pfaff wrote:
> From: Luca Giraudo
>
> Bug #2407.
> ---
> Hi Luca, here's a version of your patch that I tweaked a bit.
> I assume that you have a test case for this feature? Will you
> please
