7 Jan
2018
7 Jan
'18
1:41 a.m.
On Jan 6, 2018 6:26 PM, "teor" <teor2345@gmail.com> wrote: But there are other sources of high-resolution timers, that Mozilla hasn't covered: (Maybe someone should let them know?) https://trac.torproject.org/projects/tor/ticket/16110 https://trac.torproject.org/projects/tor/ticket/17412 https://trac.torproject.org/projects/tor/ticket/2101 <https://trac.torproject.org/projects/tor/ticket/21010> We know :) -tom