> From: Ihor Radchenko <yanta...@posteo.net> > Cc: Eli Zaretskii <e...@gnu.org>, 35...@debbugs.gnu.org > Date: Sat, 29 Oct 2022 09:02:31 +0000 > > Ihor Radchenko <yanta...@gmail.com> writes: > > >> There are no intervals in this story. The way overlays are > >> implemented, they don't use intervals (if by that you mean the > >> facilities in intervals.c). Someone was working on making overlays > >> more efficient by changing the low-level implementation details, but > >> that work is yet unfinished. > > > > I see. Hope that overlays will be optimised eventually... > > And "eventually" finally came :) > I am pretty sure that this can be closed now.
Thanks, done.