Subject: Re: bug#59137: [PATCH] To minor changes related to overlays

From: Stefan Kangas <[email-masked]>
Date: Sat, 26 Nov 2022 06:05:36 -0800

Stefan Monnier <[email-masked]> writes:

>> Should these patches be installed?  Stefan?
>
> I don't have an opinion on the `itree_empty_p` patch, but the one about
> `itree_iterator_finish` doesn't apply any more because
> `itree_iterator_finish` has been removed in the mean time.

Matt, if you think these patches are still relevant, could you please
rebase them on top of current master?  Thanks in advance.