proto: rename timing params to synchrony params (#7554) · d9792cdb21 - tendermint - Anomalous Gitea

mirrors/tendermint

mirror of https://github.com/tendermint/tendermint.git synced 2026-09-27 10:24:36 +00:00

proto: rename timing params to synchrony params (#7554)

This commit is contained in:

William Banfield

2022-01-12 12:02:01 -05:00

committed by

GitHub

parent 2617a5cf33

commit d9792cdb21

11 changed files with 123 additions and 122 deletions

									
										third_party/proto/gogoproto/gogo.proto
									
Vendored

		+1
		-1
	
												View File
												
				@@ -144,4 +144,4 @@ extend google.protobuf.FieldOptions {

					optional bool wktpointer = 65012;

					optional string castrepeated = 65013;

				} 

				}