tree 5cde9de7d9b7d57e020b9639b13cdd08c05cd39d
parent 526575d537503943329fda2b40c7c83a1eb9b10f
parent 3836d70ed56d4b0f7fab8326470fc8abfe896391
author Ezio Melotti <ezio.melotti@gmail.com> 1365701448 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1365701448 +0300
HG:rename-source hg

#17690: merge with 3.3.