9 Feb
2018
9 Feb
'18
4:03 p.m.
On 02/09/2018 12:03 AM, Hans Hagen wrote:
On 2/8/2018 8:00 PM, Pablo Rodriguez wrote:
Have I hit an issue with the new hyphenator, or am I simply missing somehting?
it's a border case that i'll look into
Many thanks for your fast fix in latest beta, Hans. Pablo -- http://www.ousia.tk