I don't know how you decide what is a duplicate or not, but I really do not think this is a dup, since this bug is about the font-weight (bold)/font-type, not the font-size. The older bug is from 2010, weirdly it is not fixed as well..
I don't know how you decide what is a duplicate or not, but I really do not think this is a dup, since this bug is about the font-weight (bold)/font-type, not the font-size. The older bug is from 2010, weirdly it is not fixed as well..