From: Paul F. <pf....@gm...> - 2012-11-16 19:37:10
|
On 11/15/12, Benny Malengier <ben...@gm...> wrote: > The repository has changed. > Paul and Tim want to keep the old repo around, so we did not delete it. I have added a file to the top level of the old repo, pointing people to the new repo, and asking them not to change the old repo at all. |