Commit e8d5df9edc29196d7119189e5290ffd2df8e8b6c

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.