Skip to content

chore: clarify that barretenberg mirror should not take PRs#3303

Merged
ludamad merged 2 commits intomasterfrom chore/no-bb-PRsNov 14, 2023

Commits

Commits on Nov 13, 2023