Subject: Re: bug#864: 23.0.60; Info-dir-remove-duplicates fails to remove duplicates

From: martin rudalics <[email-masked]>
Date: Thu, 04 Sep 2008 10:18:05 +0200

> Looks better to me. Thanks.

I checked that in.  Please watch out for any anomalies.

Thanks, martin.