Subject: bug#42966: (no subject)

From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 26 Oct 2020 21:12:00 +0100

Michael Albinus <[email-masked]> writes:

> I don't know whether we can apply it "safely". But I agree we shall do
> it. And then, we will observe, whether there are regression reports.

OK; I've now pushed the change.

There was some discussion about implementing this "inside out", which
sounds like a good idea, but would mainly be a performance tweak.

So I'm closing this bug report.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no