On Jan 8, 2014 10:46 PM, "Austin Seipp" <aseipp@pobox.com> wrote:

Oh, to be honest, I was just going to squash it into a single Big
Commit, with you set as the author, Gergo. This seems to be the
general way we do it for new features.

If you'd like I can just go ahead and do this for you.

On Wed, Jan 8, 2014 at 8:33 AM, Dr. ERDI Gergo <gergo@erdi.hu> wrote:
> On Wed, 8 Jan 2014, Simon Peyton Jones wrote:
>
>> It'd be good if what we finally commit to HEAD has a sensible history
>
>
> Yes, of course. I'll clean that up next week. I just have to run now.
>
>
> --
>
>   .--= ULLA! =-----------------.
>    \     http://gergo.erdi.hu   \
>     `---= gergo@erdi.hu =-------'
> Ha paranoiásokkal akarsz megismerkedni, kezdd el követni ôket.



--
Regards,
Austin - PGP: 4096R/0x91384671