On Tue, 30 May 2023 at 06:33, Michael Tokarev <[email protected]> wrote: > > 30.05.2023 12:29, Kevin Wolf wrote:... > > Both look like valid options. > > > > But if you want a concrete recommendation from me... I would assume that > > you picked it up for a reason even if you don't remember it now (maybe > > it was a dependency of something else?). It also claims to be fixing two > > other commits. So I think my tendency would be to pick the second one > > additionally. > > Yeah, I decided to pick both. Thank you for the comment and the confirmation!
Sorry for the trouble. I caught up on both your email threads and agree with the solutions you chose (adding Kevin's fix and tagging v8.0.2). Stefan
