Thane Thomson 83b7f4ad5b ci: Fix linter complaint (#9645) ...

Fixes a very silly linter complaint that makes absolutely no sense and is blocking the merging of several PRs.

---

#### PR checklist

- [x] Tests written/updated, or no tests needed
- [x] `CHANGELOG_PENDING.md` updated, or no changelog entry needed
- [x] Updated relevant documentation (`docs/`) and code comments, or no
      documentation updates needed

2022-10-28 15:01:16 +00:00

..

contract_tests

docs: rename swagger to openapi (#5263)

2020-08-21 11:40:28 +02:00

priv_val_server

libs/common: Refactor libs/common 5 (#4240)

2019-12-12 09:33:27 +01:00

tendermint

ci: Fix linter complaint (#9645)

2022-10-28 15:01:16 +00:00