This repository was archived by the owner on Sep 6, 2021. It is now read-only.

Merged

Cleanup for comments from pull request #3439, switch to tern hinting #3477

cleanup based on codereview comments:

Workflow runs completed with no jobs