^--"W: Failed to fetch gzip:/var/lib/apt/lists/partial/ports.ubuntu.com_ubuntu-ports_dists_utopic_main_binary-armhf_Packages Hash Sum mismatch"
CI failure unrelated to MP, reapproving...
« Back to merge proposal
^--"W: Failed to fetch gzip:/var/ lib/apt/ lists/partial/ ports.ubuntu. com_ubuntu- ports_dists_ utopic_ main_binary- armhf_Packages Hash Sum mismatch"
CI failure unrelated to MP, reapproving...