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