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
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