Improvements to the tagging experience #11

Merged
Roflin merged 3 commits from tag-improvements into master 2019-03-16 12:12:26 +01:00
Member

Implements #7.

Implements #7.
Author
Member
No description provided.
Member

LGTM

LGTM
Roflin closed this pull request 2019-03-16 12:12:26 +01:00
Sign in to join this conversation.
No Reviewers
No Label
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Public/pics#11
No description provided.