Hi, please don't commit it just yet, I'd like the eventual single commit to also include the user documentation. Thanks, Gergo On Jan 8, 2014 10:46 PM, "Austin Seipp" 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 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