From 1e8a8efa0b769bf8350b7e00f858058802e77aa3 Mon Sep 17 00:00:00 2001
From: Chris Phifer <cphifer@galois.com>
Date: Wed, 2 Dec 2020 10:18:46 -0600
Subject: [PATCH] Bump argo for doc migration

---
 deps/argo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/argo b/deps/argo
index 5ffd2818..5217d1da 160000
--- a/deps/argo
+++ b/deps/argo
@@ -1 +1 @@
-Subproject commit 5ffd2818f769f118a15d0e86a1fdb0c99893c444
+Subproject commit 5217d1da928a5d1902186db991dacb047d1da5d7