New option: Ignore dex overflows#2048

beerphilipp wants to merge 1 commit intosoot-oss:developsoot-oss/soot:developfrom

beerphilipp:developbeerphilipp/soot:developCopy head branch name to clipboard