From ed482f755afb4e9f5f8a510072ba1c99be229fd1 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Fri, 29 Nov 2024 02:28:39 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "bef9e485a0" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "bef9e485a0" 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 0072026244a..2be7fa7603f 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = f61941ed102bef94fd78470362b4345ecd535bab - parent = 3392629818e6d51c01ca4c75c1ad916bb4b4fdb1 + commit = bef9e485a04357d998c6e043713180822ebae7c5 + parent = 49f80b30db59e2454347c4b742d536e317305f2e method = merge cmdver = 0.4.6