Change name of setting: -YshowVarBounds -> -Yshow-var-bounds
Change name of setting: -YshowVarBounds -> -Yshow-var-bounds

dotty-staging/dotty,som-snytt/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty,som-snytt/dotty,sjrd/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,dotty-staging/dotty,som-snytt/dotty,densh/dotty,densh/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,som-snytt/dotty,som-snytt/dotty,dotty-staging/dotty