Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Inform the user once TAGS has been regenerated (#1023)
Since regenerating tags is synchronous (and occasionally slow), it's useful to give the user feedback on when regeneration is done.
- Loading branch information