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

fix: Internal name on Linux #1544

Merged

ffflorian merged 1 commit into master from fix/internal-name

Jun 18, 2018

Contributor

ffflorian commented Jun 18, 2018

No description provided.


          fix: Name for internal

8dedae5

ffflorian changed the title ~~fix: Name for internal~~ fix: Internal name on Linux

mythsunwind approved these changes

View reviewed changes

lipis approved these changes

View reviewed changes

ffflorian merged commit c6c4554 into master

ffflorian deleted the fix/internal-name branch

June 18, 2018 20:08

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

Labels

None yet