I did git diff cse.scm > cse.diffand send it with this mail (I removed the logging code though)
Hi Stefan, Can you send the proposed change as a unidiff patch? TIA, Ludo’.