From 41b0f6535ff452ca09a7e0f16d2d710412079fd5 Mon Sep 17 00:00:00 2001
From: Yan Peng <112029182+pennyannn@users.noreply.github.com>
Date: Fri, 8 Dec 2023 10:00:38 -0800
Subject: [PATCH] Flip back submodule src (#131)

---
 .gitmodules | 4 ++--
 src         | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitmodules b/.gitmodules
index c3f2f04d..f3b7d37e 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,7 +1,7 @@
 [submodule "src"]
 	path = src
-	branch = upstream-merge-2023-11-30
-	url = https://github.com/dkostic/aws-lc.git
+	branch = main
+	url = https://github.com/aws/aws-lc.git
 [submodule "cryptol-specs"]
 	path = cryptol-specs
 	branch = sha-imperative
diff --git a/src b/src
index 15389dcf..c7c418aa 160000
--- a/src
+++ b/src
@@ -1 +1 @@
-Subproject commit 15389dcf4a57fbebe4224977cc4173e7ed5e517f
+Subproject commit c7c418aad4e379484449108924117ec6221cc33b