From 37b1d2eeb9304258e061018e2d85c4f5ae92fdf1 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Sun, 19 Jan 2025 02:25:15 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "f93422a3ee" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "f93422a3ee" 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 7ea0e792aa2..3ef080bab92 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = 6ca1496d48a22338357299d1f0fb7679b2b8ef2b - parent = de648233385062ab526ccf9206c7c4060444c2ab + commit = f93422a3ee841751745ff3be1759ba2334bddd69 + parent = 9e5ea3a6a45c1266504ec3c259b9c11aa4fd9f7a method = merge cmdver = 0.4.6