On Thu, Mar 19, 2009 at 05:32, Basile STARYNKEVITCH <bas...@starynkevitch.net> wrote:
> The only difference in the branches name is a single letter (the last s of > plugins). Yeah, I had forgotten about that branch and only remembered when I went to edit the svn web page. > Given that the svn://gcc.gnu.org/svn/gcc/branches/plugin branch is not > really active, I suggest to > > svn mv svn://gcc.gnu.org/svn/gcc/branches/plugin > svn://gcc.gnu.org/svn/gcc/branches/old-plugin > > What do you think about that? I have no opinion on this. Eric and Sean should be consulted on any change to the inactive branch (both CC'd). Diego.