Merge branch 'release-0.15' into debian-release-0.15
authorChristos Stavrakakis <cstavr@grnet.gr>
Tue, 10 Dec 2013 15:27:36 +0000 (17:27 +0200)
committerChristos Stavrakakis <cstavr@grnet.gr>
Tue, 10 Dec 2013 15:27:36 +0000 (17:27 +0200)
commit72199063dff2eb71ea76c46a69049db3017807f3
tree169a4e59fbe73933ce90a50f0f00697a189597d4
parente22a5f994226818784f9cacf2997c2d8a7a70199
parent02f1204bfb4e550406a022ca80f1c60d67769ee2
Merge branch 'release-0.15' into debian-release-0.15