--- lib/rfc3454.c.orig	2010-11-01 19:51:59.000000000 +0100
+++ lib/rfc3454.c	2010-11-01 19:52:06.000000000 +0100
@@ -510,8 +510,6 @@
   { 0x0000DC, 0, { 0x0000FC }},                      /* 00DC; 00FC; Case map */
   { 0x0000DD, 0, { 0x0000FD }},                      /* 00DD; 00FD; Case map */
   { 0x0000DE, 0, { 0x0000FE }},                      /* 00DE; 00FE; Case map */
-  { 0x0000DF, 0, { 0x000073,                    /* 00DF; 0073 0073; Case map */
-                   0x000073 }},
   { 0x000100, 0, { 0x000101 }},                      /* 0100; 0101; Case map */
   { 0x000102, 0, { 0x000103 }},                      /* 0102; 0103; Case map */
   { 0x000104, 0, { 0x000105 }},                      /* 0104; 0105; Case map */