Closed RealCLanger closed 4 months ago
(cherry picked from commit cee6c5e72f73121e8aff985553cc9fc12b6a6e73)
with minor modifications
fixes #1693
Hello @RealCLanger, this pull request fulfills all formal requirements.
(cherry picked from commit cee6c5e72f73121e8aff985553cc9fc12b6a6e73)
with minor modifications
fixes #1693