Subject: Re: 25.0.50; delete-dups doesn't delete all duplicates
From: Paul Eggert <[email-masked]>
To: Ari Roponen <[email-masked]>
Cc: [email-masked]
Date: Thu, 16 Jul 2015 07:55:44 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks for the bug report and patch.  I installed it in your name as master 
commit 572cd26f3f03995dbb3689b8a6f0a575ec9b9cb6.