Subject: Re: bug#56418: Add duplicate-dwim [PATCH]
From: Mattias Engdegård <[email-masked]>
To: [email-masked]
Date: Tue, 26 Jul 2022 14:26:11 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

No objections, which is not surprising given the precedence; pushed to master.