On Wed, Jan 11, 2023 at 5:20 PM Thomas Munro <thomas.mu...@gmail.com> wrote:
> (I don't know why you didn't make it 0)

(Oh, I see why it had to be non-zero to avoiding burning CPU, ignore that part.)


Reply via email to