| 1 |
On 16/01/2013 10:36, Andreas K. Huettel wrote: |
| 2 |
> |
| 3 |
> Hi, |
| 4 |
> |
| 5 |
> several people have pointed out to me that the 10.0 -> 13.0 transition would |
| 6 |
> be a good moment to finally remove the (also in my opinion rather useless) |
| 7 |
> server profiles. |
| 8 |
> |
| 9 |
> The easiest way to do this would be to |
| 10 |
> * just not copy the server profiles from 10.0 to 13.0 and |
| 11 |
> * have the deprecation warning for "10.0/server" point to "13.0" (i.e. prompt |
| 12 |
> users to upgrade from the 10.0 server profile to the 13.0 base profile). |
| 13 |
> |
| 14 |
> Opinions? |
| 15 |
> [I'm not doing anything with this regard unless a clear consensus is found |
| 16 |
> here on the list. Otherwise I'll copy the dirs 1:1.] |
| 17 |
> |
| 18 |
> Cheers, A |
| 19 |
> |
| 20 |
> |
| 21 |
+1. Cutting down of the number of useless profiles in the long run is a |
| 22 |
great idea. |
Archives