Fix for memory leaks (GHC #7936 and #4218) #8

Merged
merged 3 commits into from Aug 22, 2014

Projects

None yet

2 participants