Commit 2c699517 authored by Zeger-Jan van de Weg's avatar Zeger-Jan van de Weg

Merge branch 'patch-2' into 'master'

Fixed typo.

See merge request !189
parents d8a36627 ec6ca169
Pipeline #29273115 (#438) passed with stage
in 2 minutes and 54 seconds