ankidroid/Anki-Android — pull request #379 by brunodea (2014-06-10 02:40:00+00:00)
Title: small fix in tags dialog.

there could be duplicate tags in the listview without this.