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

From: Mattias Engdegård <[email-masked]>
Date: Thu, 4 Aug 2022 20:43:33 +0200

4 aug. 2022 kl. 06.01 skrev Richard Stallman <[email-masked]>:

> I suggest we define `duplicate-lines' with an option to control
> whether it is region-sensitive, so that people can try it both ways
> and tell us which way they like better.

I wouldn't mind but it's not a change I can make unilaterally. The present solution did not require changes to `duplicate-line`.