Merge branch 'live' into 'master'

# Conflicts:
#   src/Handler/Utils/Submission.hs
This commit is contained in:
Gregor Kleen 2018-07-23 16:05:19 +02:00
commit 2ddc0a03cb