From d3d122b09b085d09d0daff9ff7132770cafb4f66 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Fri, 17 Nov 2023 02:15:22 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "799f8e73a" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "799f8e73a" 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 cf73fabae20..fae48156b3c 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = ff31b1d215cc2d2b810321f6db87f5a2aa5887f6 - parent = 87eeb715014996ec329de969df85684083b18f83 + commit = 799f8e73ae5875d86e8d92232ba36e59b4bb58d0 + parent = 23d1e2d307757c42f6a070afcb22f800fae94555 method = merge cmdver = 0.4.6