wk8/Brive — pull request #7 by procule (2014-03-27 15:04:10+00:00)
Title: Repair the Configuration merge function to allow the merge of

pre-defined 'formats_preferred' and 'formats_exclusive' from settings
file.