tree e7b2afe36875b13e4405ce9865892bca848337f7
parent cec301b1cc5c71e46bff8b281926e25b513acc5a
author Jakub Josef <jakub.josef@gmail.com> 1489078971 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1489079158 +0100

Fixed wrong debian build pipeline name

Change-Id: Ia17b7f4c906ebe59fe55fd8ce8156cb4c93ccd8a