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