Merge branch 'debian-release-0.3' into debian-develop
authorFilippos Giannakos <philipgian@grnet.gr>
Wed, 5 Jun 2013 09:43:11 +0000 (12:43 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Wed, 5 Jun 2013 09:43:11 +0000 (12:43 +0300)
commit214c4e9d19b80258966acaebf4be79b71940da6e
tree752529d44e4143ff44e1d932302c47a29a10049f
parentdc5da37719b09f76a196d37a124e46c083e32986
parente314bb1242e452678950a34a89277eb48f284b8d
Merge branch 'debian-release-0.3' into debian-develop