Skip to main content
amended Martin's change
Source Link
YCor
  • 63.9k
  • 28
  • 39

The tags and should be merged; the first being more used, and also in analogy with the tag , I'd suggest to embed into . A current problem is also that does not include the word "ring" in its wiki, and hence is not suggested when people type "ring".

Making a synonym $\to$ would also have the advantage that the latter tag is suggested when people type "ring". (Note: has already been embedded in .)

The tags and should be merged; the first being more used, and also in analogy with the tag , I'd suggest to embed into . A current problem is also that does not include the word "ring" in its wiki, and hence is not suggested when people type "ring".

Making a synonym $\to$ would also have the advantage that the tag is suggested when people type "ring". (Note: has already been embedded in .)

The tags and should be merged; the first being more used, and also in analogy with the tag , I'd suggest to embed into .

Making a synonym $\to$ would also have the advantage that the latter tag is suggested when people type "ring". (Note: has already been embedded in .)

added 168 characters in body
Source Link
Martin Sleziak
  • 4.7k
  • 2
  • 60
  • 122

The tags and should be merged; the first being more used, and also in analogy with the tag , I'd suggest to embed into . A current problem is also thatA current problem is also that does not include the word "ring" in its wiki, and hence is not suggested when people type "ring".

Making a synonym $\to$ does not includewould also have the word "ring" in its wiki, and henceadvantage that the tag is not suggested when people type "ring".

   (Note: has already been embedded in .)

The tags and should be merged; the first being more used, and also in analogy with the tag , I'd suggest to embed into . A current problem is also that does not include the word "ring" in its wiki, and hence is not suggested when people type "ring".

 (Note: has already been embedded in .)

The tags and should be merged; the first being more used, and also in analogy with the tag , I'd suggest to embed into . A current problem is also that does not include the word "ring" in its wiki, and hence is not suggested when people type "ring".

Making a synonym $\to$ would also have the advantage that the tag is suggested when people type "ring".  (Note: has already been embedded in .)

Source Link
YCor
  • 63.9k
  • 28
  • 39

The tags and should be merged; the first being more used, and also in analogy with the tag , I'd suggest to embed into . A current problem is also that does not include the word "ring" in its wiki, and hence is not suggested when people type "ring".

(Note: has already been embedded in .)

Post Made Community Wiki by YCor