tree 3a4ea323a841bedcc08a78541befe6f4b0cef3eb
parent b58ab2c6aa96a9320de2d4b2966e0e968ce5c524
parent bf3165b971d3fe9ad426beacc9bcf926c9d45267
author Ezio Melotti <ezio.melotti@gmail.com> 1336653193 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1336653193 +0300
HG:rename-source hg

#14763: merge with 3.2.