Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: use correct version of ctags (#703)
It seems only the comment was updated, the commit it pointed to was incorrect. This should hopefully resolve an error in CI due to different version of ctags between CI and local dev. Test Plan: CI
- Loading branch information