Copy link
@flixr

flixr Feb 26, 2016

Member

Maybe reword this?
If it really happens to result in compilation errors, then it's fine as you will notice.
The dangerous thing is that it might silently use the other option than the one you expect, depending on the order, etc...
People should not think that the duplicate options are always fine as long as they don't get compilation errors...