On 16/01/2013 10: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. Cutting down of the number of useless profiles in the long run is a
great idea.
