git subrepo push --branch=master barretenberg

subrepo:
  subdir:   "barretenberg"
  merged:   "ce124fef7a"
upstream:
  origin:   "https://github.com/AztecProtocol/barretenberg"
  branch:   "master"
  commit:   "ce124fef7a"
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 = 89d723dc7a254b26dedbc23bd785aa64806910b0
-	parent = 8403e849dff51c99a38ae15a4c39a40edc558214
+	commit = ce124fef7af3d75792958ad49228b0c925f6a745
+	parent = 76bcd726d4e5b0c1a2a2bf44b51081142e4ae30a
 	method = merge
 	cmdver = 0.4.6