diff --git a/.gitmodules b/.gitmodules index f6e7bceb..0de4d921 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,7 +1,7 @@ [submodule "src"] path = src - branch = upstream-merge-2023-07-18 - url = https://github.com/nebeid/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 4ff91028..02ccc535 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit 4ff910280c86874563515d29b076ac54c2f709f1 +Subproject commit 02ccc535d711db2cbcc2a5a382881f8a6b6922f7