On 09/06/2023 16.06, Igor Mammedov wrote:
On Mon, 22 May 2023 15:17:17 +0200
Igor Mammedov <imamm...@redhat.com> wrote:

Paolo,
can you pick it up?

It's merged already (commit a37531f2381c4e294e48b14170894741283)

 Cheers,
  Thomas


Reply via email to