22 Jan
2024
22 Jan
'24
3:38 a.m.
I no longer remembered that the floating-point patches were put into git. I adjusted and added the statement to the two plugins. See if they fit. I attach plugins.tex