New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: remove TODO #785

Merged

tac0turtle merged 1 commit into cosmos:master from elias-orijtech:master

May 30, 2023

Contributor

elias-orijtech commented May 30, 2023 •

edited

Loading

elias-orijtech requested a review from a team as a code owner

May 30, 2023 14:56

tac0turtle approved these changes

View reviewed changes

elias-orijtech force-pushed the master branch from 6dc5ffb to 4e3e013 Compare

May 30, 2023 15:29


          chore: remove TODO

5d44ec7

elias-orijtech force-pushed the master branch from 4e3e013 to 5d44ec7 Compare

May 30, 2023 15:38

elias-orijtech changed the title ~~chore: remove unused argument found by linter~~ chore: remove TODO

Contributor Author

elias-orijtech commented May 30, 2023

Someone got to this before me. Reduced PR to just removing the TODO.

tac0turtle merged commit a4e8855 into cosmos:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet