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

RISCOS: Increase the optimization level #4019

Merged
merged 3 commits into from Jun 19, 2022
Merged

Conversation

ccawley2011
Copy link
Member

@ccawley2011 ccawley2011 commented Jun 19, 2022

This includes the changes from PR #4003 and PR #4018.

@bluegr
Copy link
Member

@bluegr bluegr commented Jun 19, 2022

Since the other two PRs have been merged, this is now straightforward. Thanks for your work!

@bluegr bluegr merged commit ea7a15a into scummvm:master Jun 19, 2022
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants