fix: panic in elan toolchain gc on toolchains without a directory - #207

fix: panic in elan toolchain gc on toolchains without a directory#207

Kha merged 1 commit into

masterleanprover/elan:masterfrom

push-wotxrmvrltyoleanprover/elan:push-wotxrmvrltyoCopy head branch name to clipboard