# HG changeset patch
# User HackBot
# Date 1394276456 0
# Node ID 60f7c3d7e415a481176b5ec8c46fd3799e7f2aff
# Parent  5232fb784ae2571b33b87217ba6078cac51c3f8f
<fizzie> sed -i -e \'s/{1,4}/{1,5}/\' bin/unicode   # well in that case!

diff -r 5232fb784ae2 -r 60f7c3d7e415 bin/unicode
--- a/bin/unicode	Sat Mar 08 06:35:56 2014 +0000
+++ b/bin/unicode	Sat Mar 08 11:00:56 2014 +0000
@@ -3,7 +3,7 @@
 import re
 import sys
 import unicodedata
-def l(c): m = re.match('(?:U+)?([0-9a-f]{1,4})$', c, re.I); 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]{1,5})$', 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: