Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Retry the removal of the binary to ensure no file is still in use (#33) #33

Merged
merged 1 commit into from Apr 12, 2013

Conversation

Projects
None yet
2 participants
Contributor

whimboo commented Apr 10, 2013

No description provided.

Member

davehunt commented Apr 12, 2013

Looks good!

@whimboo whimboo merged commit bcb4bd5 into master Apr 12, 2013

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