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

Misc Gui Adjustments #2981

Merged
merged 5 commits into from
Jul 12, 2017
Merged

Misc Gui Adjustments #2981

merged 5 commits into from
Jul 12, 2017

Conversation

flash-fire
Copy link
Contributor

Just combining about 4 small PRs into one to avoid spamming builds.

@mention-bot
Copy link

@flash-fire, thanks for your PR! By analyzing the history of the files in this pull request, we identified @Megamouse, @AniLeo and @Nekotekina to be potential reviewers.

@AniLeo AniLeo requested a review from Nekotekina July 11, 2017 23:57
@Nekotekina Nekotekina merged commit 9403948 into RPCS3:master Jul 12, 2017
@flash-fire flash-fire deleted the gui_adjustments branch July 12, 2017 00:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants