Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
git subrepo push --branch=master barretenberg
subrepo: subdir: "barretenberg" merged: "be0ed39842" upstream: origin: "https://github.com/AztecProtocol/barretenberg" branch: "master" commit: "be0ed39842" git-subrepo: version: "0.4.6" origin: "???" commit: "???" [skip ci]
- Loading branch information