Revert "Merge branch 'bug#94' into 'master'"

This reverts merge request !10
1 job for revert-41533b76 in 0 seconds (queued for 9 seconds)
latest
Status Job ID Name Coverage
  External
passed jenkins

00:00:04