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