Skip to content

Simple maintenance improvements#1148

Open
a1346054 wants to merge 5 commits intomobile-shell:masterfrom
a1346054:master
Open

Simple maintenance improvements#1148
a1346054 wants to merge 5 commits intomobile-shell:masterfrom
a1346054:master

Conversation

@a1346054
Copy link
Copy Markdown

No description provided.

@a1346054
Copy link
Copy Markdown
Author

Rebased to fix merge conflicts.

@eminence
Copy link
Copy Markdown
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
Copy Markdown
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.

2 participants