Hi Tom,
> scratches head ... ] The patch still applies perfectly cleanly
> for me, using either "patch" or "git apply".
Sorry, my bad. It was about lines separating on different platforms. The
patch is fine and passes installcheck-world on MacOS.
--
Best regards,
Aleksander Alekseev