tree 628e20355040136ad7868c658bd2838a2c63630d
parent a326ab2c9f34a3f5005cbbbc85f81ecf5d51c615
author Armin Rigo <arigo@tunes.org> 1189067734 +0000
committer Armin Rigo <arigo@tunes.org> 1189067734 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/release25-maint%4058005

Backport of r58004.