Open jduhamel opened 2 months ago
Olivetti had an error on mixed pitch fonts.
Added PR #82 to resolve.
Can you give more information on this? I've been using mixed pitch faces for a long time without issue.
Olivetti had an error on mixed pitch fonts.
Added PR #82 to resolve.