Merge branch 'hotfix-0.5.1' into debian-precise
authorNikos Skalkotos <skalkoto@grnet.gr>
Fri, 23 Aug 2013 14:15:02 +0000 (17:15 +0300)
committerNikos Skalkotos <skalkoto@grnet.gr>
Fri, 23 Aug 2013 14:15:02 +0000 (17:15 +0300)

Trivial merge