Commit 73187275 by Achilleas Pipinellis

Merge branch 'patch-1' into 'master'

The branch does not exist

See merge request !33
2 parents 8c5f414c 120b7263
Pipeline #8279688 passed
in 22 seconds