Improve agent disposal #17

Merged
merged 2 commits into from Aug 6, 2012

2 participants

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