Skip to content

Conversation

@Paul-Luca-Schugardt
Copy link
Contributor

the line i changed caused an issue because the file that should be deleted did not exist

@Paul-Luca-Schugardt
Copy link
Contributor Author

I notest that #437 is the same pull request

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.

1 participant