From f77b260c6c1b39edb5972ccdc3199981cb1b6155 Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Sat, 16 Dec 2023 02:13:24 +0000
Subject: [PATCH] git subrepo push --branch=master build-system

subrepo:
  subdir:   "build-system"
  merged:   "7dd5b9705"
upstream:
  origin:   "https://github.com/AztecProtocol/build-system"
  branch:   "master"
  commit:   "7dd5b9705"
git-subrepo:
  version:  "0.4.6"
  origin:   "???"
  commit:   "???" [skip ci]
---
 build-system/.gitrepo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-system/.gitrepo b/build-system/.gitrepo
index df4c1983d93..7de4016e672 100644
--- a/build-system/.gitrepo
+++ b/build-system/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/build-system
 	branch = master
-	commit = 75e826bbdff48d3d777641b16ed35a4b7eb69a2b
-	parent = c48e76c19d369b3bff6432c3dc7d922e811b6451
+	commit = 7dd5b9705d294ff4db34839583cbe19dbe040ac2
+	parent = 4cfb427aa6df3a73deb1a0025aa0b6bc61b3cc69
 	method = merge
 	cmdver = 0.4.6