Skip to content

Fix discovery of targets whose names get mangled due to their pseudo-private nature#2883

Merged
lihaoyi merged 2 commits intocom-lihaoyi:mainfrom lihaoyi:fix-2844Nov 19, 2023

Commits

Commits on Nov 19, 2023