On Thu, 3 Jun 2021 at 15:06, David Rowley <dgrowle...@gmail.com> wrote: > > On Thu, 3 Jun 2021 at 15:01, Michael Paquier <mich...@paquier.xyz> wrote: > > As you already did > > 110d817, perhaps you would prefer taking care of it? > > Ok. I'll take care of it.
Pushed. David
