--- doc/specifications/rfc3454.txt.orig	2010-11-01 19:45:23.000000000 +0100
+++ doc/specifications/rfc3454.txt	2010-11-01 19:45:33.000000000 +0100
@@ -574,7 +574,6 @@
    00DC; 00FC; Case map
    00DD; 00FD; Case map
    00DE; 00FE; Case map
-   00DF; 0073 0073; Case map
    0100; 0101; Case map
    0102; 0103; Case map
    0104; 0105; Case map