Updated the dashboard database

Signed-off-by: Martin Weise martin.weise@tuwien.ac.at

Closes #526

added priority::1 scope::Backend labels

assigned to @mweise

enabled an automatic merge when all merge checks for 5840324e pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• 8fcfc15f - Wrong file name

Compare with previous version

mentioned in commit 03de28f1

merged