Closed valid-ptr closed 4 years ago
@valid-ptr, thank you for the patch; looks good! Any reference to the details of the changes or a wxwidgets ticket that triggered these?
According to wxWidgets issues/commits:
Issue: https://github.com/wxWidgets/wxWidgets/pull/1723 Commit: https://github.com/wxWidgets/wxWidgets/commit/890e529ee379cd7124703b4d85c3e3a264e15b5b
Commit: https://github.com/wxWidgets/wxWidgets/commit/8fcf46f65c6a6bd9c4da303a464ddcea95323d3a
Merged; thank you!
@valid-ptr, thank you for the patch; looks good! Any reference to the details of the changes or a wxwidgets ticket that triggered these?