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 -- Andreas K. Huettel Gentoo Linux developer dilfri...@gentoo.org http://www.akhuettel.de/
signature.asc
Description: This is a digitally signed message part.
