|
| From: | Stefan Monnier |
| Subject: | bug#59137: [PATCH] To minor changes related to overlays |
| Date: | Fri, 25 Nov 2022 09:48:25 -0500 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
> 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
| [Prev in Thread] | Current Thread | [Next in Thread] |