From 8d2fc33cc1501139672e59a5e9a98658e8471b4d Mon Sep 17 00:00:00 2001
From: AztecBot <tech@aztecprotocol.com>
Date: Sun, 7 Jan 2024 02:17:05 +0000
Subject: [PATCH] git subrepo push --branch=master build-system

subrepo:
  subdir:   "build-system"
  merged:   "2400a9dd0"
upstream:
  origin:   "https://github.com/AztecProtocol/build-system"
  branch:   "master"
  commit:   "2400a9dd0"
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 77a7c7509c4..041eb3711dd 100644
--- a/build-system/.gitrepo
+++ b/build-system/.gitrepo
@@ -6,7 +6,7 @@
 [subrepo]
 	remote = https://github.com/AztecProtocol/build-system
 	branch = master
-	commit = de6f81fc8b56e7b6313996a134b3ae03d976ff33
-	parent = 4a1c0df76f26530521daaaa60945fead106b555e
+	commit = 2400a9dd011c09d08adb4f9013ba64f2c1bcea4a
+	parent = dce33f9b5b23225e4f742d273dc6555259912b49
 	method = merge
 	cmdver = 0.4.6