Commit 1e8f1086 authored by Enrico Zini's avatar Enrico Zini
Browse files

Merge branch 'fix_892578' into 'master'

Fix documentation and checks for the key requirement for DM applicants

See merge request !13
parents 1853a777 4ece770e