Thanks for your bugreport.
Could you please attach the log in /var/log/dist-upgrade/* ? It should honor the pinning. On a upgrade it will (re)install ubuntu-desktop, this is why you probably got network-manager, but the logs will tell the details.
Thanks for your bugreport.
Could you please attach the log in /var/log/ dist-upgrade/ * ? It should honor the pinning. On a upgrade it will (re)install ubuntu-desktop, this is why you probably got network-manager, but the logs will tell the details.