Merge proposals

python3-antlr4 in Ubuntu has no merge proposals.