Skip to content

Conversation

@estesp
Copy link
Contributor

@estesp estesp commented Nov 24, 2022

Signed-off-by: Phil Estes [email protected]

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!

@jandubois jandubois merged commit 45f9128 into lima-vm:master Nov 24, 2022
@AkihiroSuda AkihiroSuda added this to the v0.14 milestone Nov 24, 2022
@AkihiroSuda AkihiroSuda added the documentation Improvements or additions to documentation label Nov 24, 2022
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants