am 6f277ef6: (-s ours) Merge "Clean up device list - do not merge" into jb-dev
* commit '6f277ef64ecd17bf0d5e82a1698bbfb0afb3ffd2':
Clean up device list - do not merge
diff --git a/generate-blob-lists.sh b/generate-blob-lists.sh
index e827e9b..cd75be0 100755
--- a/generate-blob-lists.sh
+++ b/generate-blob-lists.sh
@@ -42,7 +42,7 @@
fi
shift
-DEVICES="crespo crespo4g stingray wingray panda toro torospr maguro grouper"
+DEVICES="crespo crespo4g stingray wingray panda toro torospr maguro grouper manta"
export LC_ALL=C
repo sync -j32 -n