Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simple maintenance improvements #1148

Open
wants to merge 5 commits into
base: master
Choose a base branch
from

Conversation

a1346054
Copy link

No description provided.

@a1346054
Copy link
Author

Rebased to fix merge conflicts.

@eminence
Copy link
Member

Thanks for the PR. There's a lot of whitespace changes here that I'm not sure we're interested in. But the homebrew installer change looks interesting. Could you please drop the whitespace changes from this PR (and perhaps open a new PR for them, so they can be considered separately)?

@a1346054
Copy link
Author

Addressed your comments and split the whitespace and style changes into a different branch that will go into another pull request later.

@a1346054 a1346054 changed the title Minor cleanups and fixes Simple maintenance improvements Jul 16, 2022
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.

None yet

2 participants