tree 63e319ef94f511a6d02670dd7f9f106ab72983b6
parent 269e3ee3db73bcef5465b36a24b9b774dd8923ec
parent 0656a562142ce6a478210720fb8baa6ac71e2ddb
author Ezio Melotti <ezio.melotti@gmail.com> 1313407726 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1313407726 +0300
HG:rename-source hg

#12204: merge with 3.2.