tree aaecb59de68647b8c75ca5f183580c31ef085679
parent f2c3150a5cfd490227418bb7859fd3e5d0c1c1f1
author margaretha <margaretha@ids-mannheim.de> 1498736442 +0200
committer margaretha <margaretha@ids-mannheim.de> 1498736542 +0200

Improved notification.

Change-Id: Ieca1ed6e5b93758924bc4db9b4a6ec4e06230650