Hmmm... This Merge Proposal is actually new. The old one, along with the useful comments seems to have been deleted.
Yes, the display differentiation issues, that I always thought were the root issue here have been fixed.
Anyway, I'll approve this and merge it.
« Back to merge proposal
Hmmm... This Merge Proposal is actually new. The old one, along with the useful comments seems to have been deleted.
Yes, the display differentiation issues, that I always thought were the root issue here have been fixed.
Anyway, I'll approve this and merge it.