Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use the appropriate type of date in show_popover_closed
Fixes GitHub issue #1116
- Loading branch information