It is a bit different: the *effective* settings are the global settings where parts can be overridden with the user settings. This means that all profiles will be there, during build the content of profiles will keep overriding each other. So is the order of profiles correct in the effective settings?


On Tue, 11 Oct 2016 00:52:57 +0200, Mirko Friedenhagen <> wrote:

But why would the server settings override the values of the user's
settings? I thought the latter ones always had precedence.


To unsubscribe, e-mail:
For additional commands, e-mail:

Reply via email to