Re: [PATCH] Config: update Mini-OS commit id

[Jan Beulich]

On 17.07.2025 08:56, Juergen Gross wrote:
> Use the newest Mini-OS.
> 
> Signed-off-by: Juergen Gross <jgr...@suse.com>

Acked-by: Jan Beulich <jbeul...@suse.com>