topics/custom-ident-case-sensitivity: edited

fantasai · fantasai · commit c8b4328cd342 · 2013-03-13T17:01:29.000Z
diff --git a/topics/custom-ident-case-sensitivity.txt b/topics/custom-ident-case-sensitivity.txt
@@ -49,3 +49,7 @@ Various options:
   Python it is tempting to use the 'lower' or 'upper' method of Unicode 
   objects, but these only map codepoints one-to-one and are not proper 
   case folding.)
+
+=== Resolution ===
+
+Resolved on #3.
