Merge branch 'premerge/devel', remote-tracking branch 'origin'
Merge branch 'master' of github.com:globaleaks/GLBackend
bump to version 2.27.25