On Tue, Nov 30, 2021 at 1:16 PM Eric Biggers <ebiggers@xxxxxxxxxx> wrote: > So unfortunately, as far as I can tell, Ted is not maintaining random.c anymore. I am happy to step up here. Feel free to CC me on random.c fixes and I'll review them promptly. Jason