Closed ansteiner closed 2 months ago
(cherry picked from commit 503578bc19c1bdeeee774bd628f9cac3a2253e07)
fixes #1740
Hello @ansteiner, this pull request fulfills all formal requirements.
(cherry picked from commit 503578bc19c1bdeeee774bd628f9cac3a2253e07)
fixes #1740