tree 6a2de1f5eb42f06b3c2b14566ee4ce3b5c3ff41d
parent 1e8d8fd01d934fc610a6d37384f7e7718b1682f0
parent db79e951958fe901c0c7cf97914dfdb246abc0c3
author Sandro Tosi <sandro.tosi@gmail.com> 1312814327 +0200
committer Sandro Tosi <sandro.tosi@gmail.com> 1312814327 +0200
HG:rename-source hg

#12709: merge with 3.2