From 41782812533a6cc3bf8175ebad2d9f0767fcdf94 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Sat, 17 Aug 2024 02:15:17 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "9fcff933d3" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "9fcff933d3" 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 de903ddd722..37ed5b04a77 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = 1f571edf86403995bdcc9355cf401c521d2f39d6 - parent = 80eaf1d482184019efd67b9a8be5d9c8729545fb + commit = 9fcff933d383e0494177cda9caf869aed83f9282 + parent = 495d363fdf0b89dfeb228c200824fc5f9af7bb19 method = merge cmdver = 0.4.6