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