I still don't know how it happened. In the PR requests I was processing, don't list more than a few files but somehow git merge decided to change a lot of files. I didn't notice and had pushed them on master.
As history on master must be be rewritten, I had to put in commits to fix the line endings.
Apologies
Andy
