Hi Charles, On Sat, 22 Oct 2011, Charles Plessy wrote:
this is a nice documentation. I feel however that there are some part that are redundant with our group policy
yes, definitely.
How about merging ?
I think this would be too early now. I still need to change one or two things. Besides may I change the group policy without any discussion?
Thorsten -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
