From 51efbcefb93e03e86acebdb31a432d8969ce8904 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Tue, 24 Oct 2023 02:12:24 +0000
Subject: [PATCH] git subrepo push --branch=master yarn-project/aztec-nr

subrepo:
  subdir:   "yarn-project/aztec-nr"
  merged:   "88c85b33f"
upstream:
  origin:   "https://github.com/AztecProtocol/aztec-nr"
  branch:   "master"
  commit:   "88c85b33f"
git-subrepo:
  version:  "0.4.6"
  origin:   "???"
  commit:   "???" [skip ci]
---
 yarn-project/aztec-nr/.gitrepo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/yarn-project/aztec-nr/.gitrepo b/yarn-project/aztec-nr/.gitrepo
index cf8dbdd20ef..5bba0b288e6 100644
--- a/yarn-project/aztec-nr/.gitrepo
+++ b/yarn-project/aztec-nr/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/aztec-nr
 	branch = master
-	commit = 765bf69c5bdecce7acee54704f90a28ecd88500d
+	commit = 88c85b33f818c0353faa9db4056faf5370e617b9
 	method = merge
 	cmdver = 0.4.6
-	parent = abaec9c16b300c84fce82242a7a734a4bf0ac0db
+	parent = c1497f88f522cb9cbcb44fb6e69522854b604950