Releasing debian version 0.20.0~preview.7-3.