> From: Ihor Radchenko <[email protected]> > Cc: Eli Zaretskii <[email protected]>, [email protected] > Date: Sat, 29 Oct 2022 09:02:31 +0000 > > Ihor Radchenko <[email protected]> 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.
