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


diff --git a/docs/B - Known issues.txt b/docs/B - Known issues.txt
index b64fd95..1d2db19 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 v0.10.2-6-g49f6