fix getdistro for debians as wheezy has gone from 7.0 to 7.1
[build.git] / release-changelog
1 module-tools.py