Subject: Re: 25.0.50; delete-dups doesn't delete all duplicates

From: Paul Eggert <[email-masked]>
Date: Thu, 16 Jul 2015 07:55:44 -0700

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