diff --git a/docs/.gitrepo b/docs/.gitrepo index ee0edaade47..8abae0e34e1 100644 --- a/docs/.gitrepo +++ b/docs/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/docs branch = main - commit = f559e7504a0eb46901602d766c169178f6743d2b - parent = d93fa96e6c1229a7c1f3dbb583f49d27378d8603 + commit = 9ba95cabdf067f22e592847cb3e6ba1874455780 + parent = b43d7a008dd6672df67090390432893b597bcd62 method = merge cmdver = 0.4.6