antlr/antlr4-python3 — pull request #13 by ericvergnaud (2014-12-18 23:48:14+00:00)
Title: Fixed encoding bug

oops