Re: Clarification of make-random-source-generator

[John Cowan]

I agree.

On Wed, Jan 17, 2024 at 5:14 PM Bradley Lucier <luc...@purdue.edu> wrote:

> On 1/17/24 3:44 PM, Arthur A. Gleckler wrote:
> > Shall we make this change as an erratum?
>
> I vote yes.
>