From e41119795b7935079d384bd3e049d25f79b30303 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Tue, 19 Dec 2023 13:40:23 +0000 Subject: [PATCH] git subrepo push --branch=aztec-packages noir subrepo: subdir: "noir" merged: "f06ab9cf5" upstream: origin: "https://github.com/noir-lang/noir" branch: "aztec-packages" commit: "f06ab9cf5" git-subrepo: version: "0.4.6" origin: "???" commit: "???" [skip ci] --- noir/.gitrepo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/noir/.gitrepo b/noir/.gitrepo index d038232b039..c73515799dc 100644 --- a/noir/.gitrepo +++ b/noir/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/noir-lang/noir branch = aztec-packages - commit = d788414744ffc5767de22cca4196cda711138afe - parent = 34e2505632048b553dca1f82faa1454f913dcf2b + commit = f06ab9cf5e3580385bf5945276b57460a56aafbd + parent = 362c42f07e6bed29e5df3aad8d0b3949676d40f1 method = merge cmdver = 0.4.6