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