Closed RealCLanger closed 2 months ago
(cherry picked from commit 0e9a934ff0da3171d8270426ea195b7407ea4b5c)
fixes #1787
Hello @RealCLanger, this pull request fulfills all formal requirements.
(cherry picked from commit 0e9a934ff0da3171d8270426ea195b7407ea4b5c)
fixes #1787