From 2d18f2acc6f462f02c329424c0c012e9fd83ecbf Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Tue, 19 Dec 2023 00:02:39 +0000
Subject: [PATCH] Update _frontend.codex submodule to HEAD of
 codex-frontend@develop

---
 _frontend.codex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_frontend.codex b/_frontend.codex
index eb101567f..0719d7ac6 160000
--- a/_frontend.codex
+++ b/_frontend.codex
@@ -1 +1 @@
-Subproject commit eb101567fbaab8ecd6b225e6b30c3e87a786ce62
+Subproject commit 0719d7ac6723bc118718c417ce1b001a422698e3