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

Remove unused deferred_file.py #173

Merged
merged 1 commit into from
Jan 22, 2019
Merged

Remove unused deferred_file.py #173

merged 1 commit into from
Jan 22, 2019

Conversation

jbarnoud
Copy link
Collaborator

The module is not used and not tested. While the feature is still
desirable, it is not a priority just now. Anyway, the implementation is
not settled and removing the unused module is a cheap way of increasing
the overall coverage.

@pckroon
Copy link
Member

pckroon commented Jan 22, 2019

So long as someone keeps a copy of that code, fine by me. We will need it later on for sure though.

pckroon
pckroon previously approved these changes Jan 22, 2019
The module is not used and not tested. While the feature is still
desirable, it is not a priority just now. Anyway, the implementation is
not settled and removing the unused module is a cheap way of increasing
the overall coverage.
@jbarnoud
Copy link
Collaborator Author

Ready for prime time.

@jbarnoud jbarnoud merged commit 8bb7938 into master Jan 22, 2019
@pckroon pckroon deleted the remove_deffered_file branch June 3, 2020 09:41
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.

None yet

2 participants