mirror of
https://github.com/tendermint/tendermint.git
synced 2026-01-03 11:45:18 +00:00
After #8518, this separate configuration is no longer needed. The master copy will target updates to this branch.
After #8518, this separate configuration is no longer needed. The master copy will target updates to this branch.