[sr-dev] git:master:d80bccc3: github: small additition related to file line endings and windows editors