9 Jan
2008
9 Jan
'08
6:54 p.m.
Hey Ivan,
That's what I get for making 'trivial' changes just before committing something. I pushed a fix. The reason darcs doesn't prompt you to send that patch is (I think) that you have a bunch of other patches in your repository that are not in mine, and this change depends on one of those.
Cheers, Marijn