From 3d419f6038a581b8b05a6ac6d1a01e3f78634473 Mon Sep 17 00:00:00 2001 From: AztecBot Date: Wed, 17 Jan 2024 19:26:16 +0000 Subject: [PATCH] git subrepo push --branch=aztec-packages noir subrepo: subdir: "noir" merged: "13f93d523" upstream: origin: "https://github.com/noir-lang/noir" branch: "aztec-packages" commit: "13f93d523" 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 0b1e79ce03a..5fcea33359c 100644 --- a/noir/.gitrepo +++ b/noir/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/noir-lang/noir branch = aztec-packages - commit = 5a1b2bbd3e2e5e133deacb021cc4ba7587c14b8b - parent = 490130979a5d3a3e703c7e28417835aa86fa8cd7 + commit = 13f93d523342daf478e08e8ccc0f00962c7fbe05 + parent = 41ae75cdee6285729551965972e8cb039ff3045a method = merge cmdver = 0.4.6