Merge proposals dependent on lp:~geser/ubuntu-archive-tools/add_check_option

lp:~geser/ubuntu-archive-tools/add_check_option has no merge proposals.