Merge in HG-GIT repo with no changes for GIT (GIT dynamic branches are HG bookmarks...
authorGiuseppe Penone <giuspen@gmail.com>
Sun, 25 Aug 2013 13:20:43 +0000 (15:20 +0200)
committerGiuseppe Penone <giuspen@gmail.com>
Sun, 25 Aug 2013 13:20:43 +0000 (15:20 +0200)
commit948112b7a8bdbade2ac7ceddd26b32506385a432
treed800f27fd1588842d03bc981d69939195480ccae
parentd5a916ea9d3bf39ad1d0a0bd24d525204617bd87
parentfc26a89ee1cf60a3c6f1ff1388bdb1026ada45b7
Merge in HG-GIT repo with no changes for GIT (GIT dynamic branches are HG bookmarks while HG branches are static)

--HG--
extra : amend_source : a75b17c31811f0bbc03886e4ca13eef69ed35cbc