# HG changeset patch
# User HackBot
# Date 1394190298 0
# Node ID 7efc6d484fe6d367d5c34d985ac51200f3995624
# Parent  ab2d8a9d14321bbe2b55cadedfd086111531deff
<fizzie> sed -i -e \'s/, c/, c, re.I/\' bin/unicode

diff -r ab2d8a9d1432 -r 7efc6d484fe6 bin/unicode
--- a/bin/unicode	Fri Mar 07 11:03:21 2014 +0000
+++ b/bin/unicode	Fri Mar 07 11:04:58 2014 +0000
@@ -3,7 +3,7 @@
 import re
 import sys
 import unicodedata
-def l(c): m = re.match('(?:U+)?([0-9a-f]{4})$', c); return unicodedata.lookup(c) if m is None else unichr(int(m.group(1),16))
+def l(c): m = re.match('(?:U+)?([0-9a-f]{4})$', c, re.I); return unicodedata.lookup(c) if m is None else unichr(int(m.group(1),16))
 try:
     print u''.join(map(l, sys.argv[1:])).encode('utf-8')
 except KeyError: