Subject: Re: bug#43598: replace-in-string: finishing touches

From: Mattias Engdegård <[email-masked]>
Date: Sun, 27 Sep 2020 18:14:36 +0200

27 sep. 2020 kl. 14.02 skrev Lars Ingebrigtsen <[email-masked]>:

> Please go ahead and apply.

Applied, thank you.

Looks like we are done now. string-replace seems to be substantially faster than replace-regexp-in-string.
Good job!