[Merge] ~paelzer/ubuntu-seeds/+git/ubuntu:disco-remove-libdpdk-dev-from-auto-promotion into ~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu:disco

[Christian Ehrhardt ]

Thanks, pushed successfully
$ git push origin-push disco-remove-libdpdk-dev-from-auto-promotion:disco
[...]
To ssh://git.launchpad.net/~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu
   ec9f9df..617a9c4  disco-remove-libdpdk-dev-from-auto-promotion -> disco
-- 
https://code.launchpad.net/~paelzer/ubuntu-seeds/+git/ubuntu/+merge/362656
Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu:disco.