[elephant-devel] Bug in GET-CON

[Leslie P. Polzer]

Alain Picard wrote:

>> You could also make a Darcs patch using "darcs record" followed by
>> "darcs send -o mypatch", although in the general case I prefer plain
>> diffs.
>
> OK - here's a patch produced as above.

Thank you, this one applies.

But the patch is very cluttered since it's full of places where you changed
the whitespace. Please try picking only the pieces that are really part of
this patch when you do the "darcs record" step, then resubmit it and I
will put it in.

  Leslie

-- 
http://www.linkedin.com/in/polzer