Keep Shared Objects Around After Loading#31

fthaler wants to merge 1 commit into

GridTools:masterGridTools/stencil_benchmarks:masterfrom

fthaler:keep-libsfthaler/stencil_benchmarks:keep-libsCopy head branch name to clipboard