> On 4 Aug 2023, at 01:36, Nathan Bossart <nathandbossart@gmail.com> wrote:
>
> On Wed, Jul 19, 2023 at 09:38:12PM +0200, Daniel Gustafsson wrote:
>> Great, thanks! I had a quick look at this while rebasing (as well as your
>> updated patch) and it seems like a good idea to add this. Unless there are
>> objections I will look at getting this in.
>
> Hey Daniel, are you still planning on committing this? I can pick it up if
> you are busy.
Finally unburied this from the post-vacation pile on the TODO list and pushed
it after another once-over.
--
Daniel Gustafsson