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

From: Stefan Monnier <[email-masked]>
Date: Fri, 25 Nov 2022 09:48:25 -0500

> 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.

        Stefan