Aufgrund einer Wartung wird GitLab am 17.08. zwischen 8:30 und 9:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 17.08. between 8:30 and 9:00 am.

Merge branch 'develop' into 'master'

Fixed null division for cases in which only exclude symbols are produced

See merge request !27
3 jobs for master in 5 minutes and 47 seconds (queued for 1 second)
Status Job ID Name Coverage
  Windows
passed #632895
Windows10
masterJobWindows

00:01:49

 
  Linux
passed #632897
BranchJobLinux

00:03:37

passed #632896
masterJobLinux

00:03:57