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