With http://bugs.darcs.net/issue913 taken into account, we do indeed have the
situation where darcs2 can pull these patches, but darcs1 cannot.
Is is worth trying to figure out what went wrong with darcs 1.0.9, or should we
just consider this resolved? |