Bug#759492: File conflicts between /bin and /usr/bin

2016-03-07 Thread Raphael Hertzog
On Sat, 05 Mar 2016, Bill Allombert wrote: > So to recap, Marco proposal is > > diff --git a/policy.sgml b/policy.sgml > index 404dc73..74f0a3b 100644 > --- a/policy.sgml > +++ b/policy.sgml > @@ -8508,6 +8508,21 @@ fi > renamed. If a consensus cannot be reached, both > programs m

Bug#759492: File conflicts between /bin and /usr/bin

2016-03-07 Thread Ansgar Burchardt
Bill Allombert wrote: > So to recap, Marco proposal is >  > diff --git a/policy.sgml b/policy.sgml > index 404dc73..74f0a3b 100644 > --- a/policy.sgml > +++ b/policy.sgml > @@ -8508,6 +8508,21 @@ fi >     renamed.  If a consensus cannot be reached, both >     programs must be renamed. >  

Bug#759492: File conflicts between /bin and /usr/bin

2016-03-07 Thread Andreas Henriksson
Hello! On Mon, Mar 07, 2016 at 03:56:31PM +0100, Ansgar Burchardt wrote: > Bill Allombert wrote: > > So to recap, Marco proposal is > >  > > diff --git a/policy.sgml b/policy.sgml > > index 404dc73..74f0a3b 100644 > > --- a/policy.sgml > > +++ b/policy.sgml > > @@ -8508,6 +8508,21 @@ fi > >