bug#42966: (no subject)

[Lars Ingebrigtsen]

Michael Albinus <michael.albinus@gmx.de> 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