Releasing debian version 0.20.0~preview.7-1.