tree 4140ed931562119e2af720c7ded74be811f36ab7
parent cece8cfe8a54bb8977ba74599c3861147367a377
parent 2e3607c1e758865519b28066b8925f37203e2197
author Ezio Melotti <ezio.melotti@gmail.com> 1302204464 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1302204464 +0300
HG:rename-source hg

#7311: merge with 3.2.