Merge pull request #101 from yankos/hotfix/directory_not_close
commitdc8702160c4e873020e1dee8aad5092c90e8949d
authorEdward Z. Yang <ezyang@mit.edu>
Sun, 16 Oct 2016 06:14:10 +0000 (15 23:14 -0700)
committerGitHub <noreply@github.com>
Sun, 16 Oct 2016 06:14:10 +0000 (15 23:14 -0700)
tree5129714493070ec217f491218d70c18b30517fd2
parent08eee90e15d028767e0a082bdf6cdf450c8cbbbf
parent4dc68aa920bb4ea8d7ed769e8ec3c69fc45fee3f
Merge pull request #101 from yankos/hotfix/directory_not_close

FIX directory not closing