4
$\begingroup$

This was already suggested in this 2012 question, with the top answer being to make software-verification the main tag.

Maybe someone with 2500 rep can propose the synonym/merge? Or, answers arguing why they should not be merged would be welcome.

$\endgroup$
  • $\begingroup$ Relatedly on meta, probably retagging and tag-pruning should be deleted or made synonyms :) $\endgroup$ – 6005 Aug 7 '18 at 4:19
4
$\begingroup$

This fell through the cracks. Nobody ever made the argument that they should be different, I know the topic and I can't spot any difference as to how these tags are used, so I've merged them.

$\endgroup$

You must log in to answer this question.

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