tree d221fe0f27bd2d8a69bdda70d2db3d200fe4d283
parent 7ec7fc4c3b67f77654b6964a37500d1421dc7f04
parent ee8d998ecfd7d7fec71610adef1127d6d95ca843
author Ezio Melotti <ezio.melotti@gmail.com> 1313389588 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1313389588 +0300
HG:rename-source hg

#12266: merge with 3.2.