Closed jiri-kominek closed 1 year ago
By the way, I need to wait for my PRs to go in before yours, since you based your work off of mine.
Yeah, too bad this is confounded with the bold/h2 translation. I think we need to selectively apply the bold to h2 translation, hopefully then the merge will be painless.