> 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. -- Daniel Gustafsson
