3
$\begingroup$

and refer to the exact same thing, but they are currently not synonymized. Could a mod merge or synonymize them?

$\endgroup$
4
$\begingroup$

now maps to . Going with the more popular tag as the primary one.

$\endgroup$

You must log in to answer this question.

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