Hello All,
The current SVN tree contain two branches on plugins.
% svn info svn://gcc.gnu.org/svn/gcc/branches/plugin
Path: plugin
URL: svn://gcc.gnu.org/svn/gcc/branches/plugin
Repository Root: svn://gcc.gnu.org/svn/gcc
Repository UUID: 138bc75d-0d04-0410-961f-82ee72b054a4
Revision: 144953
Node Kind: directory
Last Changed Author: spyffe
Last Changed Rev: 127215
Last Changed Date: 2007-08-04 23:00:07 +0200 (Sat, 04 Aug 2007)
% svn info svn://gcc.gnu.org/svn/gcc/branches/plugins
Path: plugins
URL: svn://gcc.gnu.org/svn/gcc/branches/plugins
Repository Root: svn://gcc.gnu.org/svn/gcc
Repository UUID: 138bc75d-0d04-0410-961f-82ee72b054a4
Revision: 144953
Node Kind: directory
Last Changed Author: lcwu
Last Changed Rev: 144758
Last Changed Date: 2009-03-10 19:53:02 +0100 (Tue, 10 Mar 2009)
The only difference in the branches name is a single letter (the last s
of plugins).
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?
Regards.
--
Basile STARYNKEVITCH http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mines, sont seulement les miennes} ***
