Demote CRLF in diff/patch to a note. Possibly it should go away entirely.

1 files changed, 1 insertions, 1 deletions

diff --git a/sbolint b/sbolint
index 8166f39..70e4f86 100755
--- a/sbolint
+++ b/sbolint
@@ -819,7 +819,7 @@ sub check_and_read {
 	}
 
 	if($file =~ /\.(diff|patch)$/i) {
-		log_error("$file has DOS-style CRLF line endings, git will mess it up unless you gzip it!") if $crlf_err;
+		log_note("$file has DOS-style CRLF line endings, git may mess it up unless you gzip it") if $crlf_err;
 		# 20260523 bkw: do not complain if patches lack EOF at end!
 	} else {
 		log_error("$file has DOS-style CRLF line endings") if $crlf_err;