There's two redundant tags: and .

I propose merging the latter into the former as it's shorter and there's no collision of the name with another term.

  • 2
    What is this I don't even. – Wesley May 10 '14 at 21:08


  • Way to sock it to the problem. – Wesley May 14 '14 at 1:53

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .