> On Dec 8, 2022, at 3:25 PM, Paul Ramsey <pramsey(at)cleverelephant(dot)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.