Subject: Re: bug#56418: Add duplicate-dwim [PATCH]

From: Mattias Engdegård <[email-masked]>
Date: Tue, 26 Jul 2022 14:26:11 +0200

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