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

subrepo:
  subdir:   "yarn-project/aztec-nr"
  merged:   "417e06959"
upstream:
  origin:   "https://github.com/AztecProtocol/aztec-nr"
  branch:   "master"
  commit:   "417e06959"
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 df8d9ea59ce..8740c776b10 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 = 2918e68f8aeffe43cf3f286a233d4394cba72d8b
+	commit = 417e069591ac37f3696ff42a660dd57fc43e504f
 	method = merge
 	cmdver = 0.4.6
-	parent = cb18f455d02b00b30da20c6afbeb806921b3a1cf
+	parent = a60c70dca1d920ad88511f77be3ad186afab7bdb