tree 47d528adde7abf763c98f7b7bfbc4941b6d24ea9
parent 88bf51baff31eab153bfb3980ff318c469fc48a6
parent ef5c71617634ba24b6ed14d65d0466fe84e53057
author Ezio Melotti <ezio.melotti@gmail.com> 1312296144 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1312296144 +0300
HG:rename-source hg

#12183: merge with 3.2.