On Mon, Jan 13, 2020 at 02:02:58PM +0100, Martin Pieuchot wrote:
> > Please, make this 10ms; that is what we have now and 100ms would
> > defenitely be too long.
> 
> Sure, updated diff below.
OK kn

Reply via email to