Alex, for lot of users the fonts are tiny with 10, if you read the bug you will notice that's a workaround and not a fix, your comment is not really bringing anything to it
Alex, for lot of users the fonts are tiny with 10, if you read the bug you will notice that's a workaround and not a fix, your comment is not really bringing anything to it