git subrepo push --branch=master barretenberg

subrepo:
  subdir:   "barretenberg"
  merged:   "ab3ba56bb5"
upstream:
  origin:   "https://github.com/AztecProtocol/barretenberg"
  branch:   "master"
  commit:   "ab3ba56bb5"
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 = 9c8cb12a6deec4e427c013cf719b9f714f57ccab
-	parent = 85c8a3b29c861e61274cc0e33d47ca4aa89c144d
+	commit = ab3ba56bb526145969e5a615e1a9c17b566c8310
+	parent = ec34442fa3e8df0f8f1ef1e4c88df3f1895fc2dd
 	method = merge
 	cmdver = 0.4.6