>> 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).
I'm OK with this. It was a holding place for Sean's work as long as it's there somewhere I doubt there will be a problem, but I'll let Sean speak up if it is. -eric
