Merge branch 'activate-deactivate-tutors' of gitlab.gwdg.de:j.michal/grady...

Merge branch 'activate-deactivate-tutors' of gitlab.gwdg.de:j.michal/grady into activate-deactivate-tutors

frontend/src/store/getters.ts

@@ -12,9 +12,6 @@ const getters = {
   },
   getSubmissionType: state => pk => {
     return state.submissionTypes[pk]
-  },
-  findStudentByUser: state => user => {
-    return Object.values(state.students).find((student: any) => student.user === user)
   }
 }