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

Remove duplicate target
rust-lang · Oct 17, 2019 · e51f20f · e51f20f
2 parents 07d1f7a + 8823376
commit e51f20f
Showing 1 changed file with 0 additions and 1 deletion.
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 \