![](https://secure.gravatar.com/avatar/5955e8e90611e77ccbfc7721b6112027.jpg?s=120&d=mm&r=g)
9 Feb
2018
9 Feb
'18
9:03 a.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