Commit 1b9dc54f authored by Piotr Wendykier's avatar Piotr Wendykier

Merge branch 'bugfix/issue_87' into 'develop'

Fix for issue #87.

See merge request !99
parents d175f6d2 0d4c4f14
Pipeline #30660924 passed with stage
in 0 seconds