Code

Added a test to warn on short names#165

Code

Draft

gaurav wants to merge 2 commits intobabel-1.0TranslatorSRI/Babel:babel-1.0from warn-on-short-namesTranslatorSRI/Babel:warn-on-short-namesCopy head branch name to clipboard

+13-2

Commits

Commits on Jul 7, 2023

• Added a test to warn on short names.

  gaurav

  committed
  35df632

• Fix loophole in synonym uniquification.

  gaurav

  committed
  54cfcdc