From 27fb4f424936b034e40c6d37bdc784779a96c02d Mon Sep 17 00:00:00 2001 From: AztecBot Date: Tue, 5 Sep 2023 18:57:57 +0000 Subject: [PATCH] git subrepo push --branch=master build-system subrepo: subdir: "build-system" merged: "688c65fd0" upstream: origin: "https://github.com/AztecProtocol/build-system" branch: "master" commit: "688c65fd0" git-subrepo: version: "0.4.6" origin: "???" commit: "???" --- build-system/.gitrepo | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build-system/.gitrepo b/build-system/.gitrepo index 5d7f45bef91..394c89ae0de 100644 --- a/build-system/.gitrepo +++ b/build-system/.gitrepo @@ -6,7 +6,7 @@ [subrepo] remote = https://github.com/AztecProtocol/build-system branch = master - commit = 4d82f1d42435d18c9439afbc23ef371c9d459153 - parent = dfdba4b5c6fb0c75f7f463e0b5eb71e6e7d1b667 + commit = 688c65fd0768288419ad41b1b2392f80309f2bd6 + parent = 064ddc3b345ac445fc9fe2385c8aee78b8fb6e47 method = merge cmdver = 0.4.6