Merge branch 'master' of git://git.debian.org/mirror/dsa-puppet