chiark / gitweb /
vconsole: make sure we don't merge configuration settings from different sources