<div dir="ltr"><div dir="ltr">I'm proposing we switch now:<div><br></div><div>  <a href="https://github.com/harfbuzz/harfbuzz/issues/1509">https://github.com/harfbuzz/harfbuzz/issues/1509</a></div><div><br></div><div>Shout now, or never. :)<br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature">behdad<br><a href="http://behdad.org/" target="_blank">http://behdad.org/</a></div></div></div></div>