These bugs have now been escalated to the CTTE: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1077764
- Bug#675731: base-files: os-release and debian_version make t... Luca Boccassi
- Bug#675731: base-files: Please add VERSION entry to /et... Santiago Vila
- Bug#1008735: Bug#675731: base-files: Please add VER... Luca Boccassi
- Bug#1021663: base-files: os-release and debian_version ... Santiago Vila
- Bug#1008735: base-files: os-release and debian_vers... Luca Boccassi
- Bug#1008735: base-files: os-release and debian_... Luca Boccassi
