tree f0ea7db1fe18f3f0d70ea23b9ee31c393cbba08e
parent e8bb1a0229c2aa5a60fe36937d04454bbd3745e4
parent 9daf98d32ac3d33acf4dd3403cd4766f30410eaf
author Sandro Tosi <sandro.tosi@gmail.com> 1313852798 +0200
committer Sandro Tosi <sandro.tosi@gmail.com> 1313852798 +0200
HG:rename-source hg

#12787: merge with 3.2