> On Dec 8, 2022, at 3:25 PM, Paul Ramsey <pram...@cleverelephant.ca> wrote: > >> >> Revised patch attached. > > And again, because I think I missed one change in the last one. > > <random_normal_03.patch>
Final tme, with fixes from cirrusci.
random_normal_04.patch
Description: Binary data
