diff -r c0ea5015e46f -r a7b11c9f468e ConfigTreeNode.py --- 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