tree 623ba0564b7ab76ee6564ae039e12438b9e1dc3d
parent b716f84880fb719be417e9b49f8bb55bfd0106b8
parent f7ed5d111bbe30b36b2629a87d9fcc291de4aafb
author Ezio Melotti <ezio.melotti@gmail.com> 1352064189 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1352064189 +0200
HG:rename-source hg

#8271: merge with 3.3.