diff -r 1c174d32b53e -r 096cc00b4304 deploy/Pipfile
--- a/deploy/Pipfile	Sat Jul 06 01:11:53 2019 +0200
+++ b/deploy/Pipfile	Tue Sep 08 15:29:52 2020 +0200
@@ -9,4 +9,4 @@
 [dev-packages]
 
 [requires]
-python_version = "3.7"
+python_version = "3.8"