Reindl Harald <h.reindl <at> thelounge.net> writes: > when you specify something twice the right one wins I fear it's not that easy: It is actually undefined behaviour to specify an option twice (that is not supposed to be specified more than once), so for example ticket #4184. Carl Eugen