Closed RealCLanger closed 2 months ago
Clean cherry pick from commit c39b4c5d3fadf55ac93f1fc4ba7a5e911cb334ea.
fixes #1789
Hello @RealCLanger, this pull request fulfills all formal requirements.
Clean cherry pick from commit c39b4c5d3fadf55ac93f1fc4ba7a5e911cb334ea.
fixes #1789