Re: [PATCH] config: update Mini-OS commit

[Jan Beulich]

On 07.02.2024 14:31, Juergen Gross wrote:
> Update the Mini-OS upstream revision.
> 
> Signed-off-by: Juergen Gross <jgr...@suse.com>

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