tree f153ccb363f32c587e0369ea939e06f1c43456a2
parent 16099833772cb497eac4118350e974abf08c8032
author Carlos Martín Nieto <cmn@dwim.me> 1457099476 +0100
committer Carlos Martín Nieto <cmn@dwim.me> 1457099476 +0100

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.