Re: svn problems

[Daniel Berlin]

> Well, conceptually, I want the history for the file, hence the cp.  I  
> was trying to get around yet another svn bug that causes checkins of  
> merge products to fail.
What bugs?
If you  file them, and tell us how to reproduce them, maybe we could fix
them?