add machinery to remove unecessary dynamic symbols at link time#222

ezra-varady wants to merge 3 commits into

lanterndata:mainlanterndata/lantern:mainfrom

ezra-varady:ezra/hide-symbolsezra-varady/lanterndb:ezra/hide-symbolsCopy head branch name to clipboard