4 ms·Maybe they’ve fixed this since then. I haven’t looked at darcs in AGES.by CountSessine 2y agoMaybe they’ve fixed this since then. I haven’t looked at darcs in AGES.