CVSROOT: /cvs/debian-boot Module name: debian-installer Changes by: joeyh 01/02/14 20:24:31 Modified files: build : Makefile TODO Log message: Improved stats. Somehow 2 copies of libdebconf are being installed (one by mklibs.sh..), which wastes 40k. This needs to be fixed.