On 16/01/13 01:36, Andreas K. Huettel wrote:
Hi, several people have pointed out to me that the 10.0 -> 13.0 transition would be a good moment to finally remove the (also in my opinion rather useless) server profiles. The easiest way to do this would be to * just not copy the server profiles from 10.0 to 13.0 and * have the deprecation warning for "10.0/server" point to "13.0" (i.e. prompt users to upgrade from the 10.0 server profile to the 13.0 base profile). Opinions? [I'm not doing anything with this regard unless a clear consensus is found here on the list. Otherwise I'll copy the dirs 1:1.] Cheers, A
+1
