On Mon, Jan 20, 2014 at 02:23:24AM -0500, Mike Frysinger wrote: > this has all been fairly ad-hoc in the past, so formalize it in the one place > that impacts everyone -- profiles.desc. > -mike If it is policy, shouldn't it go in the dev manual rather than in this file? Given that, I have questions: There are several situations in profiles.desk where one profile is dev but some profiles that inherit it are exp, for example, the arm profiles. Which rule applies in this scenario? Also, from a maintainer's pov, what is the difference between stable and dev profiles? Thanks, William