On Thu, 24 Aug 2023, at 11:05, Daniel Gustafsson wrote:
>> 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.
Thanks!
--
- ilmari
