Hey Markus,

Thanks for this. I hadn't realized that next_pseudo_random32() only
had two users left. Excellent.

I'll queue this up in the random tree (unless there are objections
from the maintainers of that test code).

Jason

Reply via email to