|
From: | Stefan Kangas |
Subject: | bug#59137: [PATCH] To minor changes related to overlays |
Date: | Wed, 30 Nov 2022 09:34:45 -0800 |
Eli Zaretskii <eliz@gnu.org> writes: >> I guess as this is a minor cleanup this should go to master at this point. > > I agree. We can always cherry-pick if we find a good reason. Thanks, pushed to master (commit 656a54b823).
[Prev in Thread] | Current Thread | [Next in Thread] |