Merge remote-tracking branch 'origin/release/0.8.x' into develop

This commit is contained in:
Iacopo Spalletti 2017-01-13 00:05:26 +01:00
commit b0434773fa
No known key found for this signature in database
GPG key ID: BDCBC2EB289F60C6
7 changed files with 27 additions and 8 deletions

View file

@ -7,7 +7,8 @@ import os
from tempfile import mkdtemp
def gettext(s): return s
def gettext(s):
return s
HELPER_SETTINGS = dict(