Auto merge of #1557 - gnzlbg:dupe, r=gnzlbg

bors · bors · commit 53bdffc02863 · 2019-10-18T00:30:49.000Z
Remove duplicate target
diff --git a/ci/build.sh b/ci/build.sh
@@ -92,7 +92,6 @@ mips-unknown-linux-musl \
 mips64-unknown-linux-gnuabi64 \
 mips64el-unknown-linux-gnuabi64 \
 mipsel-unknown-linux-gnu \
-mipsel-unknown-linux-gnu \
 mipsel-unknown-linux-musl \
 powerpc-unknown-linux-gnu \
 powerpc64-unknown-linux-gnu \
