0

I noticed that we have and . I would vote one of them as a synonym of the other but I don't have enough reputation for that. Can someone please merge the two tags?

0

Just to close the loop: this has been done.

You must log in to answer this question.

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