Skip to content

Conversation

@abevoelker
Copy link

No description provided.

@donv
Copy link
Collaborator

donv commented Apr 21, 2022

This PR is obsolete now, right?

@abevoelker
Copy link
Author

I certainly don't need it open any longer so am closing and unsubscribing - feel free to reopen as you need.

@abevoelker abevoelker closed this Apr 22, 2022
@donv
Copy link
Collaborator

donv commented Apr 24, 2022

Thaanks for the feedback!

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.

3 participants