Skip to content

Conversation

vorburger
Copy link

No description provided.

Copy link

@JLLeitschuh JLLeitschuh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks Good to Me!

@vorburger
Copy link
Author

@JLLeitschuh then @rholder merge this?

@JLLeitschuh
Copy link

Not my project. I have no control over what gets merged, unfortunately.

@jaypatel512
Copy link

@rholder ! This PR definitely should be merged soon :) Thank you.

@vorburger
Copy link
Author

Hello @rholder I'm doing a year end clean up of my personal https://github.com/pulls and wanted to ask if you would still consider merging this very old Pull Request if I rebased it, or if we should forget about and close this? (This is a bulk message I'm posting to many issues to gauge what is still revelant.)

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