tree 299b154f650808c3209f1b4301051ffcf919076f
parent 37c7a065ceeecacb3c54de72ed75a3bbae34d925
parent 01b34afb3a9087444aabc7472e4acfbb3cef62df
author Ezio Melotti <ezio.melotti@gmail.com> 1326696371 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1326696371 +0200
HG:rename-source hg

#13715: merge with 3.2.