>> 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
On Thu, Mar 19, 2009 at 05:32, Basile STARYNKEVITCH
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/branch
