From 88abbb0029ef7c77d0bc85364c54ea57170ffc67 Mon Sep 17 00:00:00 2001
From: Jeff Epler <jepler@gmail.com>
Date: Thu, 13 Jan 2022 20:40:30 -0600
Subject: [PATCH] submodules required must be listed explicitly

---
 tools/ci_fetch_deps.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/ci_fetch_deps.py b/tools/ci_fetch_deps.py
index 60557c3952..cecf37e08b 100644
--- a/tools/ci_fetch_deps.py
+++ b/tools/ci_fetch_deps.py
@@ -18,6 +18,7 @@ port_deps = {
         "extmod/ulab/",
         "lib/mp3/",
         "lib/protomatter/",
+        "lib/adafruit_floppy/",
         "lib/quirc/",
         "lib/tinyusb/",
         "data/nvm.toml/",