honestbleeps/Reddit-Enhancement-Suite — pull request #1136 by andytuba (2014-05-30 04:45:04+00:00)
Title: userTagger.updateTagStorageCaseInsensitive merges tags from same user

also, removed logical error which would delete tags for lowercase usernames

fixes #1121