Skip to content

Conversation

@holatuwol
Copy link
Contributor

Didn't compile on Linux due to case-sensitivity issue in file name.

@holatuwol holatuwol changed the title bugfix Fix file name issue when attempting to compile PDF on Linux Oct 20, 2015
@holatuwol
Copy link
Contributor Author

@wzchen Should pull requests be sent to someone else?

wzchen added a commit that referenced this pull request Oct 20, 2015
Fix file name issue when attempting to compile PDF on Linux
@wzchen wzchen merged commit bf44c40 into wzchen:master Oct 20, 2015
@wzchen
Copy link
Owner

wzchen commented Oct 20, 2015

Hi @holatuwol! I didn't see this until now. I'll be more diligent in responding to pull requests / issues from now on. Thanks for submitting the pull request. The delay was due to me not receiving email notifications from GitHub.

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