Commit 3e95bd36d91cca0f3b1c209cc4f677125c02d442

Carlos Martín Nieto 2016-03-04T14:51:16

config: show we write a spurious duplicated section header We should notice that we are in the correct section to add. This is a cosmetic bug, since replacing any of these settings does work.