Skip to content

Conversation

@swtwsk
Copy link
Contributor

@swtwsk swtwsk commented May 11, 2022

A bit like a revert of bfc6e43, but with bells and whistles.

Redo of #4 because it was targeting main instead of develop.

@swtwsk swtwsk merged commit f1d3517 into develop May 11, 2022
@swtwsk swtwsk deleted the delete-a-pipfile branch May 11, 2022 07:59
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