tree 268a9a1564547d1bd61fa6b8358e4b621ffe88ec
parent f522aea7a1b151db3483f861f528143c0ebc007e
parent 32ee44ffb4abf75f39794dc4ab9077fca12d4e98
author Sandro Tosi <sandro.tosi@gmail.com> 1326733431 +0100
committer Sandro Tosi <sandro.tosi@gmail.com> 1326733431 +0100
HG:rename-source hg

Issue: #12409: merge with 3.2