Skip to content

Conversation

AkihiroSuda
Copy link
Member

@AkihiroSuda AkihiroSuda commented Aug 21, 2025

Follow-up to PR 3867

Signed-off-by: Akihiro Suda <akihiro.suda.cz@hco.ntt.co.jp>
@AkihiroSuda AkihiroSuda added this to the v2.0.0 milestone Aug 21, 2025
@AkihiroSuda AkihiroSuda added documentation Improvements or additions to documentation easy-to-review labels Aug 21, 2025
Copy link
Member

@jandubois jandubois left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, LGTM

@jandubois jandubois merged commit 0429723 into lima-vm:master Aug 21, 2025
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation easy-to-review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants