Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mTask
[mTask.git] / todo.txt
1 delete tasks when deleting device
2 let tasks have a unique name