dispose fsi at the end of a scripting session#8084

Merged

brettfo merged 1 commit intodotnet:masterfrom

brettfo:fsi-disposable

Jan 4, 2020

Commits on Jan 3, 2020

dispose fsi at the end of a scripting session
brettfo
committed