diff --git a/README.md b/README.md
index 402e484b9c71bb1bd4e08cc7d84434cf4fbdf1b9..205f2bd429a71e46d8d9a7eac8a0f1d2239a6121 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`
+