bug#66743: 30.0.50; Crash when dumping reftex

[Eli Zaretskii]

> From: Ihor Radchenko <yantar92@posteo.net>
> Cc: gerd.moellmann@gmail.com, stefankangas@gmail.com,
>  66743-done@debbugs.gnu.org
> Date: Fri, 27 Oct 2023 12:45:28 +0000
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> Then, you may consider merging my v3 patch.
> >
> > Done, after some minor cleanup.
> 
> Thanks!
> Although, I am not sure if this is enough to close the bug.
> Maybe it should remain open until dumping buffer overlays is
> implemented?

Feel free to reopen or to file another bug specifically about dumping
overlays.