From 89e280ad6c58729be01d5c7767bd82e59ef3a44d Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Thu, 28 Sep 2023 02:11:09 +0000
Subject: [PATCH] git subrepo push --branch=master barretenberg

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

diff --git a/barretenberg/.gitrepo b/barretenberg/.gitrepo
index eccc656dded..98fbf21892c 100644
--- a/barretenberg/.gitrepo
+++ b/barretenberg/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/barretenberg
 	branch = master
-	commit = f5a0be78d435d8a323cb6768ead09644674e277b
-	parent = 9ef9f8fbb7d15fe25226fe0faca0570bb78df9db
+	commit = 513eb444acbcfe83f8546d94b495673ad0794c2b
+	parent = 0358bf0a1a4d6949d927a19ae65919a4534193e6
 	method = merge
 	cmdver = 0.4.6