tree a216054d6aa9b085a3ac99bd5663bd7f708c1d97
parent fd9103a5da6ab53b6889707da4307d75c798b27b
parent 34d204bc85074a96754e4cd1f23f1c148d0d9aaa
author Ezio Melotti <ezio.melotti@gmail.com> 1302842437 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1302842437 +0300
HG:rename-source hg

#4783: Merge with 3.2.