tree 77884fb206dd9c51a553ea5ffc0f54e68b0a9389
parent b1290a5295159207e86fc25457c14504768938c2
parent 2a8d195328d067944c95f3195e130c9a41a13c3e
author Sandro Tosi <sandro.tosi@gmail.com> 1312303429 +0200
committer Sandro Tosi <sandro.tosi@gmail.com> 1312303429 +0200
HG:rename-source hg

#12665: merge with 3.2