git subrepo push --branch=master barretenberg

subrepo:
  subdir:   "barretenberg"
  merged:   "9a18a4e37d"
upstream:
  origin:   "https://github.com/AztecProtocol/barretenberg"
  branch:   "master"
  commit:   "9a18a4e37d"
git-subrepo:
  version:  "0.4.6"
  origin:   "???"
  commit:   "???" [skip ci]

barretenberg/.gitrepo

@@ -6,7 +6,7 @@
 [subrepo]
 remote = https://github.com/AztecProtocol/barretenberg
 	branch = master
-	commit = 8cad1f25a624431b90077b49b05c778179f56da7
-	parent = 6dcab2044eb0a485a56677141fbfd7b2c31687bc
+	commit = 9a18a4e37d57236290f0823c51ea821f0a747fca
+	parent = e093acff0f251608010abaff7139dd077ca34afd
 	method = merge
 	cmdver = 0.4.6