From 70a2399edb9bab6cb58f97b00aa6b3dec5bd7fb0 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Tue, 28 Nov 2023 02:16:41 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "3816e51f1" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "3816e51f1" 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 ce08233762c..61fd478c5d6 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = db6c524503467d3cdfcbd846e784a94ae53deabf - parent = d94d88bf626ddbe41dd1b7fe3eb0f11619dde97a + commit = 3816e51f114270cb932da2c502ffed7c0d089cb8 + parent = c4e4745df22634a2649f8e7b6e116dc6b399e31f method = merge cmdver = 0.4.6