Release desc/1.4.0git1 created by Willem Jan Palenstijn on 27 June 2011, 18:52:10 UTC
Mark 1.4.0git1
This has to supercede 1.4.0git because the merge a4610df48 made 1.3.0pre the preceding tag, causing git-describe to report 1.3.0pre for commits on master.
Target: 90f2cde9fa27b06fe7753d68d4166bc10c833942
Directory: 89572e4211b579c1ca493ef7a0e3bafe8238a652
back to top