Commit 287c36ee authored by Tobias Steiner's avatar Tobias Steiner

Merge branch '67-tweak-limits-for-dodis' into 'master'

Resolve "tweak limits for dodis"

Closes #67

See merge request !65
parents 6cd7c9c4 0700f0f8
Pipeline #5269 passed with stages
in 5 minutes and 1 second