Merge branch 'master' into master+ZODB4-wc2

* master:
  Downgrade to Theia version 1.17.0
  monitor: Pick up bugfixed surykatka

software/monitor/software.cfg

@@ -82,9 +82,9 @@ scripts =
 
 [versions]
 
-surykatka = 0.7.0
+surykatka = 0.7.1
 
-# For surykatka 0.7.0
+# For surykatka 0.7.1
 click = 8.0.1
 dnspython = 2.1.0
 forcediphttpsadapter = 1.0.1

software/theia/buildout.hash.cfg

@@ -47,7 +47,7 @@ md5sum = 9e8c17a4b2d802695caf0c2c052f0d11
 
 [yarn.lock]
 _update_hash_filename_ = yarn.lock
-md5sum = c65949e402ba7c47c0354e3c7438b094
+md5sum = c37c2e9578794967a404d08859c09813
 
 [python-language-server-requirements.txt]
 _update_hash_filename_ = python-language-server-requirements.txt