Thats why @b4n doesn't advise his option set and use it on Travis, the results cannot be taken at face value, they need interpretation.
Well, true for every warning I guess. It's always good to think about what you are doing :smile: In this case it looked like a inconsistency that was easy to fix. If it might not be fixable in future cases, then also fine. But first I need the option to be able to check it and then act on it accordingly. I do not want to propagate it as a default value or something, just for me.