[I18n-commits] 01/01: refs #3880: Use optimized version of antlr