On Fri, Jun 12, 2009 at 10:03:55AM +0100, Eric Kow wrote: > On Fri, Jun 12, 2009 at 19:00:24 +1000, Trent W.Buck wrote: > > Nice; here's an amendment of the second patch. > > Whoops, just pushed the first version. > Could you unrecord, pull and record? Actually, due to Darcs 2 semantics, they merge cleanly.