28 Nov
2023
28 Nov
'23
10:16 a.m.
Sorry for responding to myself. Found it.
The following patch to tetra_burst.c ifdefs out a patch from 2018 that was done to improve performance. This solves the problem, although it would be better to fix the patch and not just drop it.
jacek