From c411d84bfac039981a32a896b622192998227081 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Sat, 16 Dec 2023 02:13:54 +0000 Subject: [PATCH] git subrepo push --branch=master barretenberg subrepo: subdir: "barretenberg" merged: "feb95d428" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "feb95d428" 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 020efcfb09c..759998aa9b7 100644 --- a/barretenberg/.gitrepo +++ b/barretenberg/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/barretenberg branch = master - commit = 416f6805579355c8879316efc3a48b70fbc52297 - parent = c48e76c19d369b3bff6432c3dc7d922e811b6451 + commit = feb95d428b6e29688f9b4c194283be613cf23be7 + parent = 4cfb427aa6df3a73deb1a0025aa0b6bc61b3cc69 method = merge cmdver = 0.4.6