From 56a8283ac357fe467f901dbf630a755b7c72c85e Mon Sep 17 00:00:00 2001 From: AztecBot Date: Fri, 20 Dec 2024 02:25:03 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "a3f1434f97" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "a3f1434f97" 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 31a89cbf099..3625cf9c564 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = 81584f06eb2395d2075e181b10714b5e93c501cd - parent = c598bae92535959f882d6c8e76c1a38ad6f11e04 + commit = a3f1434f97d2c808de018b552b0b4d13ee4901a8 + parent = 49583a52270d57bc9bbda0195d0f47bab438fd9b method = merge cmdver = 0.4.6