An option for getting rid of a duplicate tag char typed by the user.#42

harzzn wants to merge 3 commits intosniperwolf:mastersniperwolf/taggingJS:masterfrom

harzzn:no-duplicate-tag-charharzzn/taggingJS:no-duplicate-tag-charCopy head branch name to clipboard