diff --git a/.gitmodules b/.gitmodules index 2b207ea5..0de4d921 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,7 +1,7 @@ [submodule "src"] path = src - branch = upstream-merge-2023-04-14 - url = https://github.com/skmcgrail/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 9d055b55..41234713 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit 9d055b55319396ad056a61123171745ef8f17858 +Subproject commit 41234713764b302dabc58a52ea981061e971525a