<div dir="ltr"><div>I've pushed an update that also fixes #936698 to <a href="https://salsa.debian.org/science-team/hfst">https://salsa.debian.org/science-team/hfst</a></div><div dir="ltr"><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr">-- <span style="font-size:12.8px">Tino Didriksen</span></div></div><div dir="ltr"><br></div></div></div></div></div><div class="gmail_quote"></div></div>