Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add version 1.7.3 to dropdown (#833)
Add an option for newly released version 1.7.3 for the user to report a bug on.
- Loading branch information