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