3

- 15
- 17

I notice we have two very similar tags. If I'm not mistaken these mean the same thing. Should we have a synonym or merge to eliminate the redundancy?

| |
3

This one's a no brainer. Let's do it.

Bad form edit to bump this to the top of the list: admins (or anyone else who can do this): I think there's consensus here. Is there anything stopping this happening, other than lack of time? Alternatively, if somebody manually retagged all the questions, would that cause a problem?

| |
  • Manual retagging is just tedious, and also doesn't automatically create a synonym. But feel free to go for it! – mattdm Jan 14 '14 at 1:30

You must log in to answer this question.

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