Merge "Update debmirror package list for Ubuntu" into release/proposed/2019.2.0