Note that the above fix should solve any package management versus puppet concurrency issues (from apt all the way up to update-manager) except for the case of admins running dpkg by hand on individual debs, but one would hope the admin has a fairly good idea of their expected outcome in that case.
-- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to puppet in Ubuntu. https://bugs.launchpad.net/bugs/941922 Title: do-release-upgrade races puppet for file contents To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/puppet/+bug/941922/+subscriptions -- Ubuntu-server-bugs mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
