tree 7edcc1f43761dd8241503ab4f1e0581fb31b1eb9
parent 02184282c7b6f68f905a08670b93862662bf4397
author Sandro Tosi <sandro.tosi@gmail.com> 1333659201 +0200
committer Sandro Tosi <sandro.tosi@gmail.com> 1333659201 +0200
HG:rename-source hg

Issue #14502: merge with 3.2