git subrepo push --branch=master barretenberg

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

Author: AztecBot

barretenberg/.gitrepo

@@ -6,7 +6,7 @@
 [subrepo]
 remote = https://github.com/AztecProtocol/barretenberg
 	branch = master
-	commit = 829124489c7d92f95a857e2d4c94021def1b5fdf
-	parent = 68e4b6f03a11e74b088938c02d3154e37720915d
+	commit = 4f2761231c2b9d5587b17a6d3f21f8422891a46d
+	parent = a00566c9e12c1afc053f6a56619a39de42bf0b02
 	method = merge
 	cmdver = 0.4.6