Small tweak to the publish_debian_package message.
Fixed a bug where we wouldn't release all the packages.