No matches were found for subject:"Bug#857444\: \[debian\-mysql\] Bug#857444\: mysql\-server\-5.5\: upgrade from jessie to stretch leaves mysql server uninstalled"