tree 4828ba2529f3f8ef6c0d688dfb35ffc6f4b88283
parent 5ee8cb1201e2c926f8c9c8cd6a79c054746f57b6
parent 982ef4e0bc2b1def1117238fb5292cca5dfa2891
author Ezio Melotti <ezio.melotti@gmail.com> 1302844772 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1302844772 +0300
HG:rename-source hg

#11845: Merge with 3.2.