On Thu, 24 Aug 2023, at 11:05, Daniel Gustafsson wrote: >> On 4 Aug 2023, at 01:36, Nathan Bossart <nathandboss...@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
