From ff4ad42f32e17700c07346e45f6b10980c1a6850 Mon Sep 17 00:00:00 2001
From: William Mansky <mansky1@uic.edu>
Date: Thu, 31 Oct 2019 14:00:13 +0100
Subject: [PATCH] Mentioned Windows line ending fix in README

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 402e484b..205f2bd4 100644
--- a/README.md
+++ b/README.md
@@ -79,3 +79,9 @@ your account.  Then you can fork the
 [Coq-std++ git repository](https://gitlab.mpi-sws.org/iris/stdpp), make your
 changes in your fork, and create a merge request.
 
+## Common problems
+
+On Windows, differences in line endings may cause tests to fail. This can be 
+fixed by setting Git's autocrlf option to true:
+`git config --global core.autocrlf true`
+
-- 
GitLab