Merge branch 'release-0.14' into debian-release-0.14
authorKostas Papadimitriou <kpap@grnet.gr>
Thu, 20 Jun 2013 10:37:36 +0000 (13:37 +0300)
committerKostas Papadimitriou <kpap@grnet.gr>
Thu, 20 Jun 2013 10:37:36 +0000 (13:37 +0300)
commit9d4199375238648c85b676380aa0d27271033184
treebb37c0d9f9fcb027c01d228d8c3869ed849cecf6
parente3b880ef7b5246ec16fbcd853571c64b4c325d57
parent811f26cf126e79e2e9959bf90eb523503d91894b
Merge branch 'release-0.14' into debian-release-0.14