From 27af2da88fbd06899178538cd93a74587deb15b1 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Tue, 10 Dec 2024 02:30:06 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "5ddc199a22" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "5ddc199a22" 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 f5f1d5fa342..e1674c21f2a 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = f715310d31a164f2b5e7e7fd00e6760ef3e59aad - parent = 9301253f0488e6d96ed12a8c9bde72a653aa7d36 + commit = 5ddc199a22190f9c3f50c08b5070221842e60efd + parent = 93b1c45f3d6b6be9db8c0604c285a7d5d0e3960a method = merge cmdver = 0.4.6