git subrepo push --branch=master barretenberg

subrepo:
  subdir:   "barretenberg"
  merged:   "a01b1c07f3"
upstream:
  origin:   "https://github.com/AztecProtocol/barretenberg"
  branch:   "master"
  commit:   "a01b1c07f3"
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 = a3bef86e97765dd218fc3a8361afeba83e4c955f
-	parent = 2d3e0b672c11eddf0e4e50f00a42a662bdd67c0c
+	commit = a01b1c07f35a9d26043d0a2ac0c57bf86f5b0b06
+	parent = 7298c8f54460f506ecb959658d9cfd4f1129ef01
 	method = merge
 	cmdver = 0.4.6