Am 10/13/16 um 21:52 schrieb Robert Scholte:
> On Thu, 13 Oct 2016 02:53:54 +0200, Christian Schulte <>  
>> Should I change the order of the effective settings so that things from
>> the global settings always come before the user settings? Will that blow
>> up somewhere else. We know nothing about how users have edited theire
>> global settings. Just leave the repositories in the 4.0.0 super pom and
>> revert the commits? I consider the order wrong, btw.

What to do about that? It appears to be a bug never been triggered
because we never had someone put an active profile in the global settings.


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

Reply via email to