On 8 April 2010 11:24, Jelmer Vernooij <email address hidden> wrote:
> Geoff, is your repository public? > > Sorry, no but the problem is easy to re-produce. All you need to do is push a change to subversion which will cause a re-org of the tree.
On 8 April 2010 11:24, Jelmer Vernooij <email address hidden> wrote:
> Geoff, is your repository public?
>
>
Sorry, no but the problem is easy to re-produce. All you need to do is push
a change to subversion which will cause a re-org of the tree.