Merge branch 'master' of github.com:globaleaks/GLBackend into HEAD
minor correction to zip naming
bump to version 2.52 (fake commit on devel branch in order to test packaging)