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

Tue, 05 Dec 2023 03:38:34 -0800 

On 05.12.2023 11:35, Juergen Gross wrote:
> Update the Mini-OS upstream revision.
> 
> Signed-off-by: Juergen Gross <[email protected]>

Acked-by: Jan Beulich <[email protected]>

Reply via email to