Closed RealCLanger closed 2 months ago
Clean cherry picked from commit 08e70cc37f13431bd7e4e8a4bdc6f31b6705e457.
fixes #1810
Hello @RealCLanger, this pull request fulfills all formal requirements.
Clean cherry picked from commit 08e70cc37f13431bd7e4e8a4bdc6f31b6705e457.
fixes #1810