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

sometimes tempfile.tempdir is None, so use tempfile.gettempdir() function instead #633

Merged
36 commits merged into from Aug 16, 2017
Merged

sometimes tempfile.tempdir is None, so use tempfile.gettempdir() function instead #633

36 commits merged into from Aug 16, 2017

Conversation

ghost
Copy link

@ghost ghost commented Aug 16, 2017

No description provided.

@coveralls
Copy link

coveralls commented Aug 16, 2017

Coverage Status

Coverage remained the same at 57.167% when pulling da68193 on earney:master into 02fc129 on Zulko:master.

@ghost ghost merged commit a7f44df into Zulko:master Aug 16, 2017
@tburrows13 tburrows13 added the bug-fix For PRs and issues solving bugs. label Aug 30, 2017
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug-fix For PRs and issues solving bugs.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants