> P.S. When do you plan to release nearest minor Darcs version with this fix included? Hopefully pretty soon. We have been planning a 2.16 release for quite some time now. I am waiting for Ganesh to rise from his current hibernation... ;-)