On Fri, 9 Jul 2021 at 14:39, David Rowley <dgrowleyml@gmail.com> wrote:
> I've no good ideas yet, but I'm looking.
It looks like I didn't do a good job of adjusting the code to account
for 0aa8f7640 and missed an Int64GetDatum().
I suspect all the 32-bit machines are about to fail.
I'm just checking that now.
David