Skip to content

Conversation

eitsupi
Copy link
Contributor

@eitsupi eitsupi commented Sep 7, 2023

@machow
Copy link
Owner

machow commented Sep 11, 2023

Shoot--sorry about the error I added to your last PR. I've opened this one in codespaces, and it looks good! Thanks for fixing the devcontainer

@machow machow merged commit 10401b7 into machow:main Sep 11, 2023
@eitsupi eitsupi deleted the fix-devcontainer branch September 11, 2023 14:07
@eitsupi
Copy link
Contributor Author

eitsupi commented Sep 11, 2023

Please don't worry. Thank you for checking this!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants