17 May
2021
17 May
'21
12:45 a.m.
On 5/10/21 3:35 PM, Pablo Rodriguez wrote:
Hans,
I’m afraid that underscore hyphenation has issues with font expansion: [...]
Hans, many thanks for the fix in current latest (2021.05.15 22:45). Pablo -- http://www.ousia.tk