linux: delete temp files as soon as they are not needed#63
Merged
joesis merged 2 commits intogetlantern:masterfrom Oct 17, 2018
Merged
linux: delete temp files as soon as they are not needed#63joesis merged 2 commits intogetlantern:masterfrom
joesis merged 2 commits intogetlantern:masterfrom