Merge branch '33-fix-pending-type-errors' into 'devel'
Fix pending type errors Closes #33 See merge request !32
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
Fix pending type errors Closes #33 See merge request !32