Updating the PRs

Hi folks,

I got part way through rebuilding the PRs that looked like they had the
wrong autodiff scripts. But now GitHub is falling over again. I’ll try
more later.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Wednesday, 6 September 2023 11:44:02 UTC