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.

Sign up for GitHub

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

Jump to bottom

Feature: correct bad ROM extensions #1174

Merged
merged 35 commits into from
Jul 17, 2024
Merged

Feature: correct bad ROM extensions #1174

merged 35 commits into from
Jul 17, 2024

Conversation

emmercm
Copy link
Owner

@emmercm emmercm commented Jun 22, 2024

No description provided.

@emmercm emmercm self-assigned this Jun 22, 2024
@emmercm emmercm marked this pull request as ready for review July 12, 2024 16:14
@emmercm emmercm marked this pull request as draft July 12, 2024 16:14
@emmercm emmercm marked this pull request as ready for review July 12, 2024 16:14
@emmercm emmercm marked this pull request as draft July 12, 2024 16:19
@emmercm emmercm mentioned this pull request Jul 12, 2024
Merged
emmercm added a commit that referenced this pull request Jul 12, 2024
@emmercm
Backport #1174
e722db2