1 |
On 1/15/13 3:36 PM, Andreas K. Huettel wrote: |
2 |
> several people have pointed out to me that the 10.0 -> 13.0 transition would |
3 |
> be a good moment to finally remove the (also in my opinion rather useless) |
4 |
> server profiles. |
5 |
> |
6 |
> The easiest way to do this would be to |
7 |
> * just not copy the server profiles from 10.0 to 13.0 and |
8 |
> * have the deprecation warning for "10.0/server" point to "13.0" (i.e. prompt |
9 |
> users to upgrade from the 10.0 server profile to the 13.0 base profile). |
10 |
|
11 |
Sounds great! +1 |
12 |
|
13 |
If there are any concerns, why don't we adjust the 13.0 base profile or |
14 |
something? |