--- a/ConfigTreeNode.py Mon May 11 11:33:00 2020 +0200
+++ b/ConfigTreeNode.py Wed May 13 14:47:17 2020 +0200
@@ -678,6 +678,7 @@
raise UserAddressedException(message)
+# Exception type for problems that user has to take action in order to fix
class UserAddressedException(Exception):
pass