<div dir="auto"><div><br><div class="gmail_extra"><br><div class="gmail_quote">On Jan 6, 2018 6:26 PM, "teor" <<a href="mailto:teor2345@gmail.com">teor2345@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text"><br>
<br></div>
But there are other sources of high-resolution timers, that Mozilla hasn't covered:<br>
(Maybe someone should let them know?)<br>
<a href="https://trac.torproject.org/projects/tor/ticket/16110" rel="noreferrer" target="_blank">https://trac.torproject.org/<wbr>projects/tor/ticket/16110</a><br>
<a href="https://trac.torproject.org/projects/tor/ticket/17412" rel="noreferrer" target="_blank">https://trac.torproject.org/<wbr>projects/tor/ticket/17412</a><br>
<a href="https://trac.torproject.org/projects/tor/ticket/21010" rel="noreferrer" target="_blank">https://trac.torproject.org/<wbr>projects/tor/ticket/2101</a></blockquote></div></div></div><div dir="auto"><br></div><div dir="auto">We know :)</div><div dir="auto"><br></div><div dir="auto">-tom</div><div dir="auto"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br></blockquote></div></div></div></div>