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

Corrected another filename case #1310

Merged
merged 1 commit into from May 16, 2015

Conversation

Projects
None yet
1 participant
@crabmusket
Contributor

crabmusket commented May 16, 2015

See #1287. Should have been in #1308 but I forgot.

@crabmusket crabmusket added the Defect label May 16, 2015

@crabmusket crabmusket added this to the 3.7 milestone May 16, 2015

crabmusket added a commit that referenced this pull request May 16, 2015

@crabmusket crabmusket merged commit 4f83afe into GarageGames:release-3.7 May 16, 2015

@crabmusket crabmusket deleted the crabmusket:more-case-issues branch May 16, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment