(dict_clone): Copy case indexes from cloned dictionary. Fixes bug
authorBen Pfaff <blp@gnu.org>
Fri, 14 Sep 2007 13:45:02 +0000 (13:45 +0000)
committerBen Pfaff <blp@gnu.org>
Fri, 14 Sep 2007 13:45:02 +0000 (13:45 +0000)
#21061.  Reviewed by John Darrington.


No differences found