> It looks like the patch that is needed does not have a name, so I can't pull
> it with "darcs pull -p."
``darcs changes --xml'' will give you the patch's hash. Then do
darcs pull --match='hash ...'
Juliusz