tree ef4e538de3b5aaea4fa6799157a091d4b7f5333f
parent a9a2ddf7be0d3940b581e9781818fc9c3e97299a
parent c1f26f6fc1aef965e27e2937765eda0decda03c6
author Ezio Melotti <ezio.melotti@gmail.com> 1322848142 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1322848142 +0200
HG:rename-source hg

#13494: merge with 3.2.