Skip to content

Rename#365

Merged
ebuchman merged 4 commits intodevelopfrom
rename
Jan 12, 2017
Merged

Rename#365
ebuchman merged 4 commits intodevelopfrom
rename

Conversation

@ebuchman
Copy link
Contributor

No description provided.

@ebuchman ebuchman merged commit 7075a8e into develop Jan 12, 2017
@ebuchman ebuchman deleted the rename branch January 12, 2017 21:41
@ebuchman
Copy link
Contributor Author

#245 #223

@ebuchman ebuchman mentioned this pull request Jan 13, 2017
11 tasks
cmwaters added a commit that referenced this pull request Feb 11, 2022
Co-authored-by: M. J. Fromberger <fromberger@interchain.io>
Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>
adrianbrink pushed a commit to heliaxdev/tendermint that referenced this pull request May 23, 2023
* Mark priority mempool config fields as deprecated

* fix linting

* Warn when deprecated keys are present

* Fix lint staticcheck

---------

Co-authored-by: Lasaro <lasaro@informal.systems>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant