tree 81b290f15766d544f0962fed401f52036bf961cc
parent dcf17f8a553f51fc77d6bb72f4563f625af0d639
author Victor Stinner <victor.stinner@gmail.com> 1384288742 +0100
committer Victor Stinner <victor.stinner@gmail.com> 1384288742 +0100
HG:rename-source hg

Issue #19515: Remove identifiers duplicated in the same file.
Patch written by Andrei Dorian Duma.