tree 6aa484e9e6ec00864f1b498a6ac846d5cd5821b1
parent 98f2b9bff0c3d884fdcf827a10b856afcde13bc2
parent 592563292c7d0e2276c7636f1acf95a43db4668b
author Ezio Melotti <ezio.melotti@gmail.com> 1312050400 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1312050400 +0300
HG:rename-source hg

#12531: merge with 3.2.