From e1dc1d1374cbae7b2320169809c8d999461abf28 Mon Sep 17 00:00:00 2001
From: Paul Waring <paul.waring@manchester.ac.uk>
Date: Thu, 23 Apr 2015 15:00:49 +0100
Subject: Update fix for case sensitivity on Cygwin

---
 docs/B - Known issues.txt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'docs')

diff --git a/docs/B - Known issues.txt b/docs/B - Known issues.txt
index b64fd95b..1d2db198 100644
--- a/docs/B - Known issues.txt	
+++ b/docs/B - Known issues.txt	
@@ -87,8 +87,7 @@ Status:
   DEPRECATED
 
 Fix:
-  Use "managed" mounts for the directories where you build *and* install your
-  toolchains.
+  Change the registry value as per the instructions on the Cygwin website.
 
 Workaround:
   None.
-- 
cgit v1.2.3