Philip Martin wrote on Wed, Apr 24, 2013 at 16:08:58 +0100: > Should we switch to case-sensitive parsing for the rest of the file?
+1
Philip Martin wrote on Wed, Apr 24, 2013 at 16:08:58 +0100: > Should we switch to case-sensitive parsing for the rest of the file?
+1