Le 21/04/2017 à 18:39, sebb a écrit : > But the problem is that it would be very easy to change the parent gid > and assume that everything is still OK.
But why would we change the parent groupId? It hasn't changed since its first release 10 years ago and I don't see the need for a new name. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
